CoRR, February 2013
Heather S. Hussain, Megumi Matsutani, Anuradha M. Annaswamy, Eugene Lavretsky:
Adaptive Control of Scalar Plants in the Presence of Unmodeled Dynamics.

Shun Watanabe, Shigeaki Kuzuoka:
Universal Wyner-Ziv Coding for Distortion Constrained General Side-Information.
Eric Graves, Tan F. Wong:
A coding approach to guarantee information integrity against a Byzantine relay.
Ilan Adler, Sushil Verma:
A direct reduction of PPAD Lemke-verified linear complementarity problems to bimatrix games.



Nicos Angelopoulos, Roberto Bagnara:
Proceedings of the 12th International Colloquium on Implementation of Constraint and LOgic Programming Systems.
Pan Zhang, Florent Krzakala, Marc Mézard, Lenka Zdeborová:
Non-adaptive pooling strategies for detection of rare faulty items.
Ming-Hung Chen, Shi-Chen Wang, Cheng-Fu Chou:
Deadline is not Enough: How to Achieve Importance-aware Server-centric Data Centers via a Cross Layer Approach.
Xin Yin, Zhao Song, Karin S. Dorman, Aditya Ramamoorthy:
PREMIER - PRobabilistic Error-correction using Markov Inference in Errored Reads.

Stefano Riverso, Marcello Farina, Giancarlo Ferrari-Trecate:
Plug-and-Play Decentralized Model Predictive Control.
Lin Wang, Antonio Fernández Anta, Fa Zhang, Chenying Hou, Zhiyong Liu:
Routing for Energy Minimization with Discrete Cost Functions.
Ceyhun Eksin, Pooya Molavi, Alejandro Ribeiro, Ali Jadbabaie:
Bayesian Quadratic Network Game Filters.

Rayed AlGhamdi, Anne Nguyen, Vicki Jones:
A Study of Influential Factors in the Adoption and Diffusion of B2C E-Commerce.
Prahladh Harsha, Rahul Jain:
A strong direct product theorem for the tribes function via the smooth-rectangle bound.
Navid Naderializadeh, Amir Salman Avestimehr:
Interference Networks with No CSIT: Impact of Topology.
Peter Bailis, Alan Fekete, Ali Ghodsi, Joseph M. Hellerstein, Ion Stoica:
HAT, not CAP: Highly Available Transactions.
Rong Jin, Tianbao Yang, Mehrdad Mahdavi:
Sparse Multiple Kernel Learning with Geometric Convergence Rate.
Valeria V. Krzhizhanovskaya, N. B. Melnikova, A. M. Chirkin, Sergey V. Ivanov, Alexander Boukhanovsky, Peter M. A. Sloot:
Distributed simulation of city inundation by coupled surface and subsurface porous flow for urban flood decision support system.

Muzhou Hou, Moon Ho Lee:
A New Constructive Method to Optimize Neural Network Architecture and Generalization.
Evan Archer, Il Memming Park, Jonathan W. Pillow:
Bayesian Entropy Estimation for Countable Discrete Distributions.

Leon Andretti Abdillah, Emigawaty:
Analisis laporan tugas akhir mahasiswa Diploma I dari sudut pandang kaidah ilmiah dan penggunaan teknologi informasi.
Roohallah Rastaghi:
An Efficient CCA2-Secure Variant of the McEliece Cryptosystem in the Standard Model.
Gaurav Saxena, Ruchi Narula, Manish Mishra:
New Dimension Value Introduction for In-Memory What-If Analysis.
Sylvain Koos, Antoine Cully, Jean-Baptiste Mouret:
Fast Damage Recovery in Robotics with the T-Resilience Algorithm.
Xiaogang Liu, Yuan Luo:
The weight distributions of some cyclic codes with three or four nonzeros over F3.
Purushottam Kar:
Generalization Guarantees for a Binary Classification Framework for Two-Stage Multiple Kernel Learning.
Catarina Moreira, Pável Calado, Bruno Martins:
Learning to Rank for Expert Search in Digital Libraries of Academic Publications.
Francisco M. Couto, Daniel Faria, Bruno Tavares, Pedro Gonçalves, Paulo Veríssimo:
Benchmarking some Portuguese S&T system research units.
Lei Wang, Rodrigo C. de Lamare:
Set-Membership Constrained Conjugate Gradient Beamforming Algorithms.
Yu Zhang, James Z. Wang, Jia Li:
Parallel D2-Clustering: Large-Scale Clustering of Discrete Distributions.
Paul Shearer, Anna C. Gilbert, Alfred O. Hero III:
Correcting Camera Shake by Incremental Sparse Approximation.
Mingli Song, Dacheng Tao, Stephen J. Maybank:
Sparse Camera Network for Visual Surveillance -- A Comprehensive Survey.

Emanuele Rodaro, Öznur Yeldan:
A multi-lane traffic simulation model via continuous cellular automata.
Siddhartha Satpathi, Rajib Lochan Das, Mrityunjoy Chakraborty:
Improved Bounds on RIP for Generalized Orthogonal Matching Pursuit.
Binjie Qin, Zhuangming Shen, Zien Zhou, Jiawei Zhou, Jiuai Sun, Hui Zhang, Mingxing Hu, Yisong Lv:
Local Structure Matching Driven by Local Joint-Saliency-Structure Adaptive Kernel Regression.
Ian P. Mulholland, Mark F. Flanagan, Enrico Paolini:
Minimum Distance Distribution of Irregular Generalized LDPC Code Ensembles.
Harris V. Georgiou, Michael E. Mavroforakis:
A game-theoretic framework for classifier ensembles using weighted majority voting with local accuracy estimates.
Ben Adcock, Anders C. Hansen, Clarice Poon, Bogdan Roman:
Breaking the coherence barrier: asymptotic incoherence and asymptotic sparsity in compressed sensing.


Liang Liu, Rui Zhang, Kee-Chaing Chua:
Wireless Information and Power Transfer: A Dynamic Power Splitting Approach.
Daniel Torres-Salinas, Nicolas Robinson-Garcia, Evaristo Jiménez-Contreras, Francisco Herrera, Emilio Delgado López-Cózar:
On the use of Biplot analysis for multivariate bibliometric and scientific indicators.
Apostolos Karadimitrakis, Aris L. Moustakas:
Large Deviation Approach to the Outage Optical MIMO Capacity.
Chun-Ho Ng, Patrick P. C. Lee:
RevDedup: A Reverse Deduplication Storage System Optimized for Reads to Latest Backups.
Ammar Almomani, B. B. Gupta, Tat Chee Wan, Altyeb Altaher, Selvakumar Manickam:
Phishing Dynamic Evolving Neural Fuzzy Framework for Online Detection Zero-day Phishing Email.
Wei Chen, Miguel R. D. Rodrigues, Ian J. Wassell:
Projection Design For Statistical Compressive Sensing: A Tight Frame Based Approach.
Anh Cat Le Ngo, Li-Minn Ang, Guoping Qiu, Kah Phooi Seng:
Multi-scale Visual Attention & Saliency Modelling with Decision Theory.
Juhoon Kim, Nikolaos Chatzis, Matthias Siebke, Anja Feldmann:
Tigers vs Lions: Towards Characterizing Solitary and Group User Behavior in MMORPG.
Ana L. Teixeira, Rui C. Santos, João P. Leal, Jose A. Martinho Simoes, André O. Falcão:
ThermInfo: Collecting, Retrieving, and Estimating Reliable Thermochemical Data.
Nannan Cao, Kian Hsiang Low, John M. Dolan:
Multi-Robot Informative Path Planning for Active Sensing of Environmental Phenomena: A Tale of Two Algorithms.
Govinda M. Kamath, N. Prakash, V. Lalitha, P. Vijay Kumar, Natalia Silberstein, Ankit Singh Rawat, Onur Ozan Koyluoglu, Sriram Vishwanath:
Explicit MBR All-Symbol Locality Codes.
Rajeev Alur, Vojtech Forejt, Salar Moarref, Ashutosh Trivedi:
Safe Schedulability of Bounded-Rate Multi-Mode Systems.
Namyoon Lee, Robert W. Heath Jr.:
Multi-Way Information Exchange Over Completely-Connected Interference Networks with a Multi-Antenna Relay.
Eva Maia, Nelma Moreira, Rogério Reis:
Incomplete Transition Complexity of Basic Operations on Finite Languages.
Gesualdo Scutari, Francisco Facchinei, Peiran Song, Daniel P. Palomar, Jong-Shi Pang:
Decomposition by Partial Linearization: Parallel Optimization of Multi-Agent Systems.
Mathias Bürger, Claudio De Persis:
Internal models for nonlinear output agreement and optimal flow control.
Ella Gale, Oliver Matthews, Ben de Lacy Costello, Andrew Adamatzky:
Beyond Markov Chains, Towards Adaptive Memristor Network-based Music Generation.
Edith Cohen, Avinatan Hassidim, Haim Kaplan, Yishay Mansour, Danny Raz, Yoav Tzur:
Probe Scheduling for Efficient Detection of Silent Failures.
Ella Gale, Ben de Lacy Costello, Andrew Adamatzky:
Comparison of Ant-Inspired Gatherer Allocation Approaches using Memristor-Based Environmental Models.
Jinyuan Chen, Sheng Yang, Petros Elia:
On the Fundamental Feedback-vs-Performance Tradeoff over the MISO-BC with Imperfect and Delayed CSIT.
Mouhamed Abdulla, Yousef R. Shayan:
Large-Scale Fading Behavior for a Multi-Cellular Network with Uniform Spatial Distribution.
Giuseppe Enrico Santagati, Tommaso Melodia, Laura Galluccio, Sergio Palazzo:
Distributed MAC and Rate Adaptation for Ultrasonically Networked Implantable Sensors.
Simon Dedeo, Robert Hawkins, Sara Klingenstein, Tim Hitchcock:
Bootstrap Methods for the Empirical Study of Decision-Making and Information Flows in Social Systems.
Hung Q. Ngo, Dung T. Nguyen, Christopher Ré, Atri Rudra:
Towards Instance Optimal Join Algorithms for Data in Indexes.


Zhengchun Zhou, Cunsheng Ding, Jinquan Luo, Aixian Zhang:
A Family of Five-Weight Cyclic Codes and Their Weight Enumerators.
Savinderjit Kaur, Veenu Mangat:
Improved Accuracy of PSO and DE using Normalization: an Application to Stock Price Prediction.
Sakrapee Paisitkriangkrai, Chunhua Shen, Qinfeng Shi, Anton van den Hengel:
RandomBoost: Simplified Multi-class Boosting through Randomization.
Deepali Virmani, Tanu Sharma, Ritu Sharma:
Adaptive Energy Aware Data Aggregation Tree for Wireless Sensor Networks.

Jan Rupnik, Primoz Skraba, John Shawe-Taylor, Sabrina Guettes:
A Comparison of Relaxations of Multiset Cannonical Correlation Analysis and Applications.
Rasoul Ramezanian:
A Constructive Epistemic Logic with Public Announcement (Non-Predetermined Possibilities).
Farshad Merrikh-Bayat, Nafiseh Mirebrahimi, Farhad Bayat:
Circuit proposition for copying the value of a resistor into a memristive device supported by HSPICE simulation.
Mohsen Rezaee, Maxime Guillaud, Fredrik Lindqvist:
CSIT Sharing over Finite Capacity Backhaul for Spatial Interference Alignment.
François Santy, Geoffrey Nelissen, Joël Goossens:
Improving Mixed-Criticality System Consistency and Behavior on Multiprocessor Platforms by Means of Multi-Moded Approaches.

Alexandra Silva, Filippo Bonchi, Marcello M. Bonsangue, Jan J. M. M. Rutten:
Generalizing determinization from automata to coalgebras.
Erik Saule, Kamer Kaya, Ümit V. Çatalyürek:
Performance Evaluation of Sparse Matrix Multiplication Kernels on Intel Xeon Phi.
Nicolò Michelusi, Petar Popovski, Osvaldo Simeone, Marco Levorato, Michele Zorzi:
Cognitive Access Policies under a Primary ARQ process via Forward-Backward Interference Cancellation.

Andrew M. Odlyzko:
Open Access, library and publisher competition, and the evolution of general commerce.

Ciprian Chelba, Peng Xu, Fernando Pereira, Thomas Richardson:
Large Scale Distributed Acoustic Modeling With Back-off N-grams.
Charith Perera, Prem Prakash Jayaraman, Arkady B. Zaslavsky, Peter Christen, Dimitrios Georgakopoulos:
Dynamic Configuration of Sensors Using Mobile Sensor Hub in Internet of Things Paradigm.
William C. Garrison III, Adam J. Lee, Timothy L. Hinrichs:
The Design and Demonstration of an Actor-Based, Application-Aware Access Control Evaluation Framework.
Joel Lehman, Kenneth O. Stanley:
Evolvability Is Inevitable: Increasing Evolvability Without the Pressure to Adapt.
Moises Homero Sanchez Lopez, Carlos Alberto Fernández y Fernández, Jorge Rafael Aguilar Cisneros:
On the need for optimization of the software development processes in short-term projects.
Amir Hesam Salavati, K. Raj Kumar, Amin Shokrollahi:
A Non-Binary Associative Memory with Exponential Pattern Retrieval Capacity and Iterative Learning: Extended Results.


Michael Clear, Arthur Hughes, Hitesh Tewari:
Homomorphic Encryption with Access Policies: Characterization and New Constructions.
Shuang Cong, Fangfang Meng, Sen Kuang:
Quantum Lyapunov Control Based on the Average Value of an Imaginary Mechanical Quantity.
Jing Huang, Amitav Mukherjee, A. Lee Swindlehurst:
Secure Communication Via an Untrusted Non-Regenerative Relay in Fading Channels.
D. A. Bolotin, S. V. Poslavsky:
Introduction to Redberry: the computer algebra system designed for tensor manipulation.
Thomas Baker, Sean Bechhofer, Antoine Isaac, Alistair Miles, Guus Schreiber, Ed Summers:
Key Choices in the Design of Simple Knowledge Organization System (SKOS).

Lele Wang, Eren Sasoglu, Bernd Bandemer, Young-Han Kim:
A Comparison of Superposition Coding Schemes.
Julien Lefèvre:
Fiedler Vectors and Elongation of Graphs: A Threshold Phenomenon on a Particular Class of Trees.
Amitav Mukherjee:
Diffusion of Cooperative Behavior in Decentralized Cognitive Radio Networks with Selfish Spectrum Sensors.
Firas Ajil Jassim, Fawzi Hasan Altaany:
Image Interpolation Using Kriging Technique for Spatial Data.
Firas Ajil Jassim:
Hybrid Image Segmentation using Discerner Cluster in FCM and Histogram Thresholding.
Wei Yang, Giuseppe Durisi, Tobias Koch, Yury Polyanskiy:
Quasi-Static SIMO Fading Channels at Finite Blocklength.
Youcheng Sun, Romain Soulat, Giuseppe Lipari, Étienne André, Laurent Fribourg:
Parametric Schedulability Analysis of Fixed Priority Real-Time Distributed Systems.

Raghu Anantharangachar, Srinivasan Ramani, S. Rajagopalan:
Ontology Guided Information Extraction from Unstructured Text.
Natarajan Meghanathan:
Source Code Analysis to Remove Security Vulnerabilities in Java Socket Programs: A Case Study.
Mahmood Mohassel Feghhi, Aliazam Abbasfar, Mahtab Mirmohseni:
Optimal Power and Rate Allocation in the Degraded Gaussian Relay Channel with Energy Harvesting Nodes.
Guan Gui, Wei Peng, Fumiyuki Adachi:
Adaptive Sparse Channel Estimation for Time-Variant MIMO-OFDM Systems.
Guan Gui, Wei Peng, Abolfazl Mehbodniya, Fumiyuki Adachi:
Adaptive Sparse Channel Estimation for Time-Variant MISO Communication Systems.
Guan Gui, Wei Peng, Fumiyuki Adachi:
Sparse Channel Estimation for MIMO-OFDM Amplify-and-Forward Two-Way Relay Networks.
Piotr Bródka:
Key User Extraction Based on Telecommunication Data (aka. Key Users in Social Network. How to find them?).
Catarina Moreira, Ana Cristina Mendes, Luísa Coheur, Bruno Martins:
Towards the Rapid Development of a Natural Language Understanding Module.
Mike Lankamp, Raphael 'kena' Poss, Qiang Yang, Jian Fu, M. Irfan Uddin, Chris R. Jesshope:
MGSim - Simulation tools for multi-core processor architectures.
Hicham Elasri, Abderrahim Sekkaki:
Semantic integration process of business components to support information system designers.
Hao Xu, Sarangapani Jagannathan:
Finite Horizon Adaptive Optimal Distributed Power Allocation for Enhanced Cognitive Radio Network in the Presence of Channel Uncertainties.
Abdesslem Layeb, Amira Boudra, Wissem Korichi, Salim Chikhi:
A new greedy randomized adaptive search procedure for multiobjective RNA structural alignment.
Andreas Brandstädt, Simone Esposito, Loana Tito Nogueira, Fábio Protti:
Clique cycle-transversals in distance-hereditary graphs.
Jamil M. Hamodi, Ravindra C. Thool:
Investigate The Performance Evaluation of IPTV over WiMAX Networks.

Nikolaos Nomikos, Themistoklis Charalambous, Ioannis Krikidis, Dimitrios N. Skoutas, Demosthenes Vouyioukas, Mikael Johansson:
A Buffer-aided Successive Opportunistic Relay Selection Scheme with Power Adaptation and Inter-Relay Interference Cancellation for Cooperative Diversity Systems.
Jinhong Wu, Branimir R. Vojcic, Jia Sheng:
Stopping Criteria for Iterative Decoding based on Mutual Information.
Yuan Zhang, Cihan Tepedelenlioglu:
Analytical and Numerical Characterizations of Shannon Ordering for Discrete Memoryless Channels.
Hongjian Sun, Arumugam Nallanathan, Jing Jiang, Cheng-Xiang Wang:
Multi-rate Sub-Nyquist Spectrum Sensing in Cognitive Radios.
Abhishek Chanda, Cédric Westphal:
ContentFlow: Mapping Content to Flows in Software Defined Networks.





Eric Bauer, Daphne Koller, Yoram Singer:
Update Rules for Parameter Estimation in Bayesian Networks.


Alex G. Büchner, Werner Dubitzky, Alfons Schuster, Philippe Lopes, Peter G. O'Donoghue, John G. Hughes, David A. Bell, Kenny Adamson, John A. White, John M. C. C. Anderson, Maurice D. Mulvenna:
Corporate Evidential Decision Making in Performance Prediction Domains.
Anthony R. Cassandra, Michael L. Littman, Nevin Lianwen Zhang:
Incremental Pruning: A Simple, Fast, Exact Method for Partially Observable Markov Decision Processes.
Adrian Y. W. Cheuk, Craig Boutilier:
Structured Arc Reversal and Simulation of Dynamic Probabilistic Networks.
David Maxwell Chickering, David Heckerman, Christopher Meek:
A Bayesian Approach to Learning Bayesian Networks with Local Structure.

Fábio Gagliardi Cozman:
Robustness Analysis of Bayesian Networks with Local Convex Sets of Distributions.
Adnan Darwiche, Gregory M. Provan:
A Standard Approach for Optimizing Belief Network Inference using Query DAGs.
Thomas L. Dean, Robert Givan, Sonia M. Leach:
Model Reduction Techniques for Computing Approximately Optimal Solutions for Markov Decision Processes.


Didier Dubois, Hélène Fargier, Henri Prade:
Decision-making Under Ordinal Preferences and Comparative Uncertainty.

Judy Goldsmith, Michael L. Littman, Martin Mundhenk:
The Complexity of Plan Existence and Evaluation in Probabilistic Domains.





Eric Horvitz, Jed Lengyel:
Perception, Attention, and Resources: A Decision-Theoretic Approach to Graphics Rendering.
Jun Hu, Yang Xiang:
Learning Belief Networks in Domains with Recursively Embedded Pseudo Independent Submodels.

Michael J. Kearns, Yishay Mansour, Andrew Y. Ng:
An Information-Theoretic Analysis of Hard and Soft Assignment Methods for Clustering.



Kathryn Blackmond Laskey, Suzanne M. Mahoney:
Network Fragments: Representing Knowledge for Constructing Probabilistic Models.
Yan Lin, Marek J. Druzdzel:
Computational Advantages of Relevance Reasoning in Bayesian Belief Networks.
Maite López-Sánchez, Ramón López de Mántaras, Carles Sierra:
Incremental Map Generation by Low Cost Robots Based on Possibility/Necessity Grids.
Christopher Meek, David Heckerman:
Structure and Parameter Learning for Causal Independence and Causal Interaction Models.

David M. Pennock, Michael P. Wellman:
Representing Aggregate Belief through the Competitive Equilibrium of a Securities Market.




Ian E. Thomas, Ingrid Zukerman, Jonathan J. Oliver, David W. Albrecht, Bhavani Raskutti:
Lexical Access for Speech Understanding using Minimum Message Length Encoding.

Nevin Lianwen Zhang, Weihong Zhang:
Fast Value Iteration for Goal-Directed Markov Decision Processes.
(Withdrawn) Required Base Station Density in Coordinated Multi-Point Uplink with Rate Constraints.
Fatemeh Arbabjolfaei, Bernd Bandemer, Young-Han Kim, Eren Sasoglu, Lele Wang:
On the Capacity Region for Index Coding.
Fei Yang, Hong Jiang, Zuowei Shen, Wei Deng, Dimitris N. Metaxas:
Adaptive low rank and sparse decomposition of video using compressive sensing.
Hanane Froud, Abdelmounim Lachkar, Saîd El Alaoui Ouatik:
Arabic text summarization based on latent semantic analysis to enhance arabic documents clustering.
Delaram Kahrobaei, Charalambos Koupparis, Vladimir Shpilrain:
Public Key Exchange Using Matrices Over Group Rings.
Hussein A. Mohammed, Adnan Hussein Ali, Hawraa Jassim Mohammed:
The Affects of Different Queuing Algorithms within the Router on QoS VoIP application Using OPNET.
Rommel Anacan, James Greggory Alcayde, Retchel Antegra, Leah Luna:
Eye-GUIDE (Eye-Gaze User Interface Design) Messaging for Physically-Impaired People.
Joongheon Kim, Yafei Tian, Stefan Mangold, Andreas F. Molisch:
Joint Scalable Coding and Routing for 60 GHz Real-Time Live HD Video Streaming Applications.
Meriem Zerkouk, Abdallah Mhamed, Belhadri Messabih:
A user profile based access control model and architecture.
Serge Gaspers, Victor Naroditskiy, Nina Narodytska, Toby Walsh:
Possible and Necessary Winner Problem in Social Polls.
Deepali Virmani, Satbir Jain:
Comparison of Proposed Data Dissemination Protocols for Sensor Networks Using J-Sim.
Jonathan Masci, Alessandro Giusti, Dan C. Ciresan, Gabriel Fricout, Jürgen Schmidhuber:
A Fast Learning Algorithm for Image Segmentation with Max-Pooling Convolutional Networks.
Alessandro Giusti, Dan C. Ciresan, Jonathan Masci, Luca Maria Gambardella, Jürgen Schmidhuber:
Fast Image Scanning with Deep Max-Pooling Convolutional Neural Networks.
Derek O'Callaghan, Derek Greene, Maura Conway, Joe Carthy, Pádraig Cunningham:
Uncovering the Wider Structure of Extreme Right Communities Spanning Popular Online Networks.


Nathan Fisher, Joël Goossens, Pradeep M. Hettiarachchi, Antonio Paolillo:
Energy Minimization for Parallel Real-Time Systems with Malleable Jobs and Homogeneous Frequencies.
Anastasios Kavoukis, Salem Aljareh:
Efficient time synchronized one-time password scheme to provide secure wake-up authentication on wireless sensor networks.
Hongjian Sun, Arumugam Nallanathan, Cheng-Xiang Wang, Yunfei Chen:
Wideband Spectrum Sensing for Cognitive Radio Networks.
Reza Khosravi-Farsani:
The Capacity Region of the Wireless Ergodic Fading Interference Channel with Partial CSIT to Within One Bit.
Hongjian Sun, Wei-Yu Chiu, Arumugam Nallanathan:
Adaptive Compressive Spectrum Sensing for Wideband Cognitive Radios.
Hongjian Sun, Wei-Yu Chiu, Jing Jiang, Arumugam Nallanathan, H. Vincent Poor:
Wideband Spectrum Sensing with Sub-Nyquist Sampling in Cognitive Radios.
Emilio Delgado López-Cózar, Manuel Ramirez Sanchez:
H Index of History journals published in Spain according to Google Scholar Metrics (2007-2011).
Hongjian Sun, Bo Tan, Jing Jiang, John S. Thompson, Arumugam Nallanathan, H. Vincent Poor:
Relaying Technologies for Smart Grid Communications.
Dragan Vidakovic, Olivera Nikolic, Dusko Parezanovic:
Acceleration detection of large (probably) prime numbers.
Todd Davies, Mike D. Mintz:
Relational Access Control with Bivalent Permissions in a Social Web/Collaboration Architecture.
Jing Jiang, John S. Thompson, Hongjian Sun, Peter M. Grant:
Practical Analysis of Codebook Design and Frequency Offset Estimation for Virtual-MIMO Systems.
Ashish Seth, Himanshu Aggarwal, Ashim Raj Singla:
Testing and Evaluation of Service Oriented Systems.
Armin Banaei, Costas N. Georghiades:
On Randomized Sensing and Access Schemes in Wireless Ad-Hoc Cognitive Networks.
Susmit Jha, Sanjit A. Seshia:
SWATI: Synthesizing Wordlengths Automatically Using Testing and Induction.
Shin-ichi Kuribayashi:
Improving Quality of Service and Reducing Power Consumption with WAN accelerator in Cloud Computing Environments.

Stephen Cranefield, Surangika Ranathunga:
Embedding agents in business applications using enterprise integration patterns.
Randall J. Sobie, Ashok Agarwal, Ian Gable, C. Leavett-Brown, Michael Paterson, Ryan Paul Taylor, Andre Charbonneau, Roger Impey, Wayne Podiama:
HTC Scientific Computing in a Distributed Cloud Environment.
Chengbo Li, Hong Jiang, Paul A. Wilford, Yin Zhang, Mike Scheutzow:
A new compressive video sensing framework for mobile broadcast.

Zheng Li, Liam O'Brien, He Zhang, Rainbow Cai:
On a Catalogue of Metrics for Evaluating Commercial Cloud Services.
Zheng Li, Liam O'Brien, Rainbow Cai, He Zhang:
Towards a Taxonomy of Performance Evaluation of Commercial Cloud Services.
B. Senthilnayaki, K. Venkatalakshmi, Arputharaj Kannan:
A fuzzy similarity based approach for intelligent web based e-learning.
Takeshi Hatanaka, Yasuaki Wasa, Masayuki Fujita:
Cooperative Environmental Monitoring for PTZ Visual Sensor Networks: A Payoff-based Learning Approach.
Jonathan Klein, Dennis Reuling, Jan Grimm, Andreas Pfau, Damien Lefloch, Martin Lambers, Andreas Kolb:
User Interface for Volume Rendering in Virtual Reality Environments.
Yuri Shapira, Bracha Shapira, Asaf Shabtai:
Content-based data leakage detection using extended fingerprinting.
Morgan Barbier, Carlos Munuera:
Improving success probability and embedding efficiency in code based steganography.
Florian Seidel, Clemens Hage, Martin Kleinsteuber:
pROST : A Smoothed Lp-norm Robust Online Subspace Tracking Method for Realtime Background Subtraction in Video.


Jochen Könemann, Sina Sadeghian Sadeghabad, Laura Sanità:
An LMP O(log n)-Approximation Algorithm for Node Weighted Prize Collecting Steiner Tree.
Nima Noorshams, Martin J. Wainwright:
Non-Asymptotic Analysis of an Optimal Algorithm for Network-Constrained Averaging with Noisy Links.
Edith Cohen, Graham Cormode, Nick G. Duffield, Carsten Lund:
On the Tradeoff between Stability and Fit.
Kartik Venkat, Tsachy Weissman, Yair Carmon, Shlomo Shamai:
Information, Estimation, and Lookahead in the Gaussian channel.
Mingyue Ji, Giuseppe Caire, Andreas F. Molisch:
Optimal Throughput-Outage Trade-off in Wireless One-Hop Caching Networks.
Albert D. Rich, David R. Stoutemyer:
Representation, simplification and display of fractional powers of rational numbers in computer algebra.
Bernd Bandemer, Chao Tian, Shlomo Shamai:
Gaussian State Amplification with Noisy State Observations.
Glencora Borradaile, Philip N. Klein:
The two-edge connectivity survivable-network design problem in planar graphs.
Evan Everett, Achaleshwar Sahai, Ashutosh Sabharwal:
Passive Self-Interference Suppression for Full-Duplex Infrastructure Nodes.
Saeed Kaviani, Osvaldo Simeone, Witold A. Krzymien, Shlomo Shamai:
Linear Precoding and Equalization for Network MIMO with Partial Cooperation.
Zheng Li, Liam O'Brien, He Zhang:
Circumstantial-Evidence-Based Judgment for Software Effort Estimation.
Zheng Li, He Zhang, Liam O'Brien:
Towards Technology Independent Strategies for SOA Implementations.
Zheng Li, Jacky Keung:
Software Cost Estimation Framework for Service-Oriented Architecture Systems using Divide-and-Conquer Approach.
Zheng Li, Liam O'Brien, Jacky Keung, Xiwei Xu:
Effort-Oriented Classification Matrix of Web Service Composition.
Zheng Li, Liam O'Brien, Rainbow Cai, He Zhang:
Building an Expert System for Evaluation of Commercial Cloud Services.
Zheng Li, Liam O'Brien, He Zhang, Rainbow Cai:
A Factor Framework for Experimental Design for Performance Evaluation of Commercial Cloud Services.
Jamil M. Hamodi, Ravindra C. Thool:
Performance Evaluation of IPTV over WiMAX Networks Under Different Terrain Environments.
Swan Dubois, Rachid Guerraoui:
Introducing Speculation in Self-Stabilization - An Application to Mutual Exclusion.
Marko Horvat, Anton Grbin, Gordan Gledec:
WNtags: A Web-Based Tool For Image Labeling And Retrieval With Lexical Ontologies.
Bin Yang, Walid Belkhir, Michel Lenczner:
Computer-Aided Derivation of Multi-scale Models: A Rewriting Framework.
Sina Esfandiarpoor, Ali Pahlavan, Maziar Goudarzi:
Virtual Machine Consolidation for Datacenter Energy Improvement.
Jiping Xiong, Jian Zhao, Lei Chen:
Efficient Data Gathering in Wireless Sensor Networks Based on Matrix Completion and Compressive Sensing.
Hugues Randriam, Lin Sok, Patrick Solé:
Lower bounds on the minimum distance of long codes in the Lee metric.


Gill Barequet, Sarah Cannon, Eli Fox-Epstein, Benjamin Hescott, Diane L. Souvaine, Csaba D. Tóth, Andrew Winslow:
Diffuse Reflections in Simple Polygons.
Pranav Garg, Christof Löding, P. Madhusudan, Daniel Neider:
Learning Universally Quantified Invariants of Linear Data Structures.
Houtao Deng, George C. Runger, Eugene Tuv, Vladimir Martyanov:
A Time Series Forest for Classification and Feature Extraction.
Joshua James, Pavel Gladyshev, Mohd Taufik Abdullah, Yuandong Zhu:
Analysis of Evidence Using Formal Event Reconstruction.
Haohao Qin, Yin Sun, Tsung-Hui Chang, Xiang Chen, Chong-Yung Chi, Ming Zhao, Jing Wang:
Power Allocation and Time-Domain Artificial Noise Design for Wiretap OFDM with Discrete Inputs.
David L. Donoho, Matan Gavish, Andrea Montanari:
The Phase Transition of Matrix Recovery from Gaussian Measurements Matches the Minimax MSE of Matrix Denoising.
Rodrigo C. de Lamare:
Robust Low-Rank LCMV Beamforming Algorithms Based on Joint Iterative Optimization Strategies.
Martin Cadek, Marek Krcál, Jirí Matousek, Lukás Vokrínek, Uli Wagner:
Extendability of continuous maps is undecidable.
Joshua James, Pavel Gladyshev, Yuandong Zhu:
Signature Based Detection of User Events for Post-Mortem Forensic Analysis.
Andrei Asinowski, Jean Cardinal, Nathann Cohen, Sébastien Collette, Thomas Hackl, Michael Hoffmann, Kolja B. Knauer, Stefan Langerman, Michal Lason, Piotr Micek, Günter Rote, Torsten Ueckerdt:
Coloring Hypergraphs Induced by Dynamic Point Sets and Bottomless Rectangles.
Mohd Mahmood Ali, Mohd S. Qaseem, Lakshmi Rajamani, A. Govardhan:
Extracting useful rules through improved decision tree induction using information entropy.
Patrick Rodler, Kostyantyn M. Shchekotykhin, Philipp Fleiss, Gerhard Friedrich:
RIO: Minimizing User Interaction in Debugging of Knowledge Bases.
Günther Koliander, Erwin Riegler, Giuseppe Durisi, Veniamin I. Morgenshtern, Franz Hlawatsch:
A Lower Bound on the Noncoherent Capacity Pre-log for the MIMO Channel with Temporally Correlated Fading.
Javier Parra-Arnau, David Rebollo-Monedero, Jordi Forné:
Optimal Forgery and Suppression of Ratings for Privacy Enhancement in Recommendation Systems.
Tyanko Aleksiev, Simon Barkow-Oesterreicher, Peter Z. Kunszt, Sergio Maffioletti, Riccardo Murri, Christian Panse:
VM-MAD: a cloud/cluster software for service-oriented academic environments.
Ronald Ortner, Daniil Ryabko:
Online Regret Bounds for Undiscounted Continuous Reinforcement Learning.
Marcin Mucha, Maxim Sviridenko:
No-Wait Flowshop Scheduling is as Hard as Asymmetric Traveling Salesman Problem.
Odalric-Ambrym Maillard, Rémi Munos, Daniil Ryabko:
Selecting the State-Representation in Reinforcement Learning.
Odalric-Ambrym Maillard, Phuong Nguyen, Ronald Ortner, Daniil Ryabko:
Optimal Regret Bounds for Selecting the State Representation in Reinforcement Learning.
Pierre Fraigniaud, Mika Göös, Amos Korman, Jukka Suomela:
What can be decided locally without identifiers?
Patrick Llull, Xuejun Liao, Xin Yuan, Jianbo Yang, David S. Kittle, Lawrence Carin, Guillermo Sapiro, David J. Brady:
Coded aperture compressive temporal imaging.
Oluwasanmi Koyejo, Cheng H. Lee, Joydeep Ghosh:
The trace norm constrained matrix-variate Gaussian process for multitask bipartite ranking.
Fotis Foukalas, Lazaros F. Merakos:
A Study on Spectral Efficiency of Physical Layer over Cognitive Radio.
Yuting Wang, Kaustuv Chaudhuri, Andrew Gacek, Gopalan Nadathur:
Reasoning About Higher-Order Relational Specifications.
Amghar Yasmina Teldja, Fizazi Hadria:
A new bio-inspired method for remote sensing imagery classification.
Marko Horvat, Gordan Gledec, Nikola Bogunovic:
Assessing Semantic Quality of Web Directory Structure.
Murali Mani, Kinnari Shah, Manikanta Gunda:
Enabling Secure Database as a Service using Fully Homomorphic Encryption: Challenges and Opportunities.

Yoon-Sik Cho, Aram Galstyan, P. Jeffrey Brantingham, George E. Tita:
Latent Point Process Models for Spatial-Temporal Networks.
Seth Fogarty, Orna Kupferman, Thomas Wilke, Moshe Y. Vardi:
Unifying Büchi Complementation Constructions.
Anima Anandkumar, Rong Ge, Daniel J. Hsu, Sham M. Kakade:
A Tensor Spectral Approach to Learning Mixed Membership Community Models.
Shuying Liang, Matthew Might, Thomas Gilray, David Van Horn:
Pushdown Exception-Flow Analysis of Object-Oriented Programs.
Aravind R. Iyengar, Paul H. Siegel, Jack K. Wolf:
On the Capacity of Channels with Synchronization Errors.
Yue Huang, John Paisley, Xianbo Chen, Xinghao Ding, Feng Huang, Xiao-Ping Zhang:
MR Image Reconstruction from Undersampled k-Space with Bayesian Dictionary Learning.
Taghi Javdani Gandomani, Hazura Zulzalil, Abdul Azim Abdul Ghani, Abu Bakar Md Sultan:
Effective factors in agile transformation process from change management perspective.
Taghi Javdani Gandomani, Hazura Zulzalil, Abdul Azim Abdul Ghani, Abu Bakar Md Sultan:
A Systematic Literature Review on relationship between agile methods and Open Source Software Development methodology.
Mario Pastorelli, Antonio Barbuzzi, Damiano Carra, Pietro Michiardi:
HFSP: The Hadoop Fair Sojourn Protocol.
Daniel Cederman, Anders Gidenstam, Phuong Hoai Ha, Håkan Sundell, Marina Papatriantafilou, Philippas Tsigas:
Lock-free Concurrent Data Structures.
M. Rajya Lakshmi, T. Kameswara Rao, T. V. Prasad:
Exploration of Recent Advances in the Field of Brain Computer Interfaces.
Franz J. Király, Louis Theran:
Coherence and sufficient sampling densities for reconstruction in compressed sensing.

Dennis Komm, Rastislav Královic, Richard Královic, Tobias Mömke:
Randomized online computation with high probability guarantees.
Jorge Infante, Boris Bellalta:
Voice over IP in the WiFi Network business models: Will voice be a killer application for WiFi Public Networks?
Stefan Kiefer, Andrzej S. Murawski, Joël Ouaknine, Björn Wachter, James Worrell:
On the Complexity of Equivalence and Minimisation for Q-weighted Automata.

Michal Cáp, Peter Novák, Jirí Vokrínek, Michal Pechoucek:
Multi-agent RRT*: Sampling-based Cooperative Pathfinding (Extended Abstract).
Sebastian Nanz, Scott West, Kaue Soares da Silveira:
Benchmarking Usability and Performance of Multicore Languages.
Lila Kari, Steffen Kopecki, Amirhossein Simjour:
Hypergraph Automata: A Theoretical Model for Patterned Self-assembly.
Christopher Mattern:
Combining non-stationary prediction, optimization and mixing for data compression.
Mansoor I. Yousefi, Frank R. Kschischang:
Information Transmission using the Nonlinear Fourier Transform, Part III: Spectrum Modulation.
Sherif Sakr, Anna Liu, Ayman G. Fayoumi:
The Family of MapReduce and Large Scale Data Processing Systems.
Sergio Callegari, Federico Bizzarri:
Output Filter Aware Optimization of the Noise Shaping Properties of ΔΣ Modulators via Semi-Definite Programming.
Chih-Hua Tai, Philip S. Yu, De-Nian Yang, Ming-Syan Chen:
Structural Diversity for Resisting Community Identification in Published Social Networks.
Swaprava Nath, Balakrishnan Narayanaswamy:
Incentives for Information Sharing and Outcome Efforts in Networks.
Jacob Dlougach, Irina Galinskaya:
Building a reordering system using tree-to-string hierarchical model.
I-Hong Hou, Chung Shue Chen:
An Energy-Aware Protocol for Self-Organizing Heterogeneous LTE Systems.
Andrzej Jarynowski, Jaroslaw Jankowski, Anita Zbieg:
Viral spread with or without emotions in online community.
An Zeng, Stanislao Gualdi, Matús Medo, Yi-Cheng Zhang:
Trend prediction in temporal bipartite networks: the case of Movielens, Netflix, and Digg.
Mohamed Faouzi Atig, Ahmed Rezine:
Proceedings 14th International Workshop on Verification of Infinite-State Systems, Infinity 2012, Paris, France, 27th August 2012.
John Fearnley, Martin Gairing, Paul W. Goldberg, Rahul Savani:
Learning Equilibria of Games via Payoff Queries.
S. Murali, Govindraj B. Chittapur, H. S. Prabhakara, Basavaraj S. Anami:
Comparision and analysis of photo image forgery detection techniques.
Jian Fang, Zongben Xu, Bingchen Zhang, Wen Hong, Yirong Wu:
Fast Compressed Sensing SAR Imaging based on Approximated Observation.
P. K. Nizar Banu, H. Hannah Inbarani:
An Analysis of Gene Expression Data using Penalized Fuzzy C-Means Approach.
Anirban Mukhopadhyay, Zhen Qian, Suchendra M. Bhandarkar, Tianming Liu, Sarah Rinehart, Szilard Voros:
Morphological Analusis Of The Left Ventricular Eendocardial Surface Using A Bag-Of-Features Descriptor.
Xiuli Wang:
A New Construction of Multi-receiver Authentication Codes from Pseudo-Symplectic Geometry over Finite Fields.
Paul de Kerret, David Gesbert:
CSI Sharing Strategies for Transmitter Cooperation in Wireless Networks.
Martin Lester, C.-H. Luke Ong, Max Schäfer:
Information Flow Analysis for a Dynamically Typed Functional Language with Staged Metaprogramming.
Todd Davies, Brendan O'Connor, Alex Cochran, Andrew Parker:
"Groupware for Groups": Problem-Driven Design in Deme.
Chunhua Shen, Junae Kim, Fayao Liu, Lei Wang, Anton van den Hengel:
An Efficient Dual Approach to Distance Metric Learning.
Jaewook Kwak, Chul-Ho Lee, Do Young Eun:
Exploiting the Past to Reduce Delay in CSMA Scheduling: A High-order Markov Chain Approach.
Ittai Abraham, Omar Alonso, Vasilis Kandylas, Aleksandrs Slivkins:
Adaptive Crowdsourcing Algorithms for the Bandit Survey Problem.
Chunhua Shen, Guosheng Lin, Anton van den Hengel:
StructBoost: Boosting Methods for Predicting Structured Output Variables.

Aurel Randolph, Hanifa Boucheneb, Abdessamad Imine, Alejandro Quintero:
On Consistency of Operational Transformation Approach. 45-59
Lukasz Fronc:
Effective Marking Equivalence Checking in Systems with Dynamic Process Creation. 61-75

Runhui Li, Jian Lin, Patrick P. C. Lee:
CORE: Augmenting Regenerating-Coding-Based Recovery for Single and Concurrent Failures in Distributed Storage Systems.
Johannes Fischer, Pawel Gawrychowski:
Alphabet-Dependent String Searching with Wexponential Search Trees.

Loïc Paulevé, Geoffroy Andrieux, Heinz Koeppl:
Under-approximating Cut Sets for Reachability in Large Scale Automata Networks.
Holger Boche, Minglai Cai, Ning Cai, Christian Deppe:
Secrecy capacities of compound quantum wiretap channels and applications.

Richard C. Wilson, Furqan Aziz, Edwin R. Hancock:
Eigenfunctions of the Edge-Based Laplacian on a Graph.
Abdeljalil Rachadi, Mohamed Jedra, Noureddine Zahid:
Self Avoiding Paths Routing Algorithm in Scale-Free Networks.
Dan Stowell, Saso Musevic, Jordi Bonada, Mark D. Plumbley:
Improved multiple birdsong tracking with distribution derivative method and Markov renewal process clustering.




Stefan Kratsch:
On Polynomial Kernels for Integer Linear Programs: Covering, Packing and Feasibility.
Guy Even, Nissim Halabi:
Message-Passing Algorithms for Packing and Covering Linear Programs with Zero-One Matrices.
Todd Davies, Benjamin Newman, Brendan O'Connor, Aaron Tam, Leo Perry:
Displaying Asynchronous Reactions to a Document: Two Goals and a Design.
Silvia Acid, Luis M. de Campos:
An Algorithm for Finding Minimum d-Separating Sets in Belief Networks.
John Mark Agosta:
Constraining Influence Diagram Structure by Generative Planning: An Application to the Optimization of Oil Spill Response.
Satnam Alag, Alice M. Agogino:
Inference Using Message Propagation and Topology Transformation in Vector Gaussian Continuous Networks.
Constantin F. Aliferis, Gregory F. Cooper:
A Structurally and Temporally Extended Bayesian Belief Network Model: Definitions, Properties, and Modeling Techniques.
Steen A. Andersson, David Madigan, Michael D. Perlman:
An Alternative Markov Property for Chain Graphs.

Claude Barrouil, Jerome Lemaire:
Object Recognition with Imperfect Perception and Redundant Description.

Salem Benferhat, Didier Dubois, Henri Prade:
Coping with the Limitations of Rational Inference in the Framework of Possibility Theory.

Craig Boutilier, Nir Friedman, Moisés Goldszmidt, Daphne Koller:
Context-Specific Independence in Bayesian Networks.
John S. Breese, David Heckerman:
Decision-Theoretic Troubleshooting: A Framework for Repair and Experiment.
Enrique F. Castillo, Cristina Solares, Patricia Gómez:
Tail Sensitivity Analysis in Bayesian Networks.
Tom Chávez:
Decision-Analytic Approaches to Operational Decision Making: Application and Observation.
David Maxwell Chickering, David Heckerman:
Efficient Approximations for the Marginal Likelihood of Incomplete Data Given a Bayesian Network.

Fábio Gagliardi Cozman, Eric Krotkov:
Quasi-Bayesian Strategies for Efficient Plan Generation: Application to the Planning to Observe Problem.


AnHai Doan, Peter Haddawy:
Sound Abstraction of Probabilistic Actions in The Constraint Mass Assignment Framework.
Yousri El Fattah, Rina Dechter:
An Evaluation of Structural Parameters for Probabilistic Reasoning: Results on Benchmark Circuits.
Nir Friedman, Joseph Y. Halpern:
A Qualitative Markov Assumption and its Implications for Belief Change.
Dan Geiger, David Heckerman, Christopher Meek:
Asymptotic Model Selection for Directed Networks with Hidden Variables.
Max Henrion, Malcolm Pradhan, Brendan Del Favero, Kurt Huang, Gregory M. Provan, Paul O'Rorke:
Why Is Diagnosis Using Belief Networks Insensitive to Imprecision In Probabilities?

Pablo H. Ibargüengoytia, Luis Enrique Sucar, Sunil Vadera:
A Probabilistic Model For Sensor Validation.
Tommi S. Jaakkola, Michael I. Jordan:
Computing Upper and Lower Bounds on Likelihoods in Intractable Networks.
Allan Leck Jensen, Finn Verner Jensen:
MIDAS - An Influence Diagram for Management of Mildew in Winter Wheat.
Alexander V. Kozlov, Jaswinder Pal Singh:
Computational Complexity Reduction for BN2O Networks Using Similarity of States.
Kathryn Blackmond Laskey, Laura Martignon:
Bayesian Learning of Loglinear Models for Neural Connectivity.





David L. Poole:
A Framework for Decision-Theoretic Planning I: Combining the Situation Calculus, Conditional Plans, Probability and Utility.

Thomas S. Richardson:
A Polynomial-Time Algorithm for Deciding Markov Equivalence of Directed Cyclic Graphical Models.
Eugene Santos Jr., Solomon Eyal Shimony, Edward Michael Williams:
Sample-and-Accumulate Algorithms for Belief Updating in Bayes Networks.




Sylvie Thiébaux, Marie-Odile Cordier, Olivier Jehl, Jean-Paul Krivine:
Supply Restoration in Power Distribution Systems - A Case Study in Integrating Model-Based Diagnosis and Repair Planning.


Yang Xiang, S. K. Michael Wong, Nick Cercone:
Critical Remarks on Single Link Search in Learning Belief Networks.

Ya. V. Bazaikin, I. A. Taimanov:
On a numerical algorithm for computing topological characteristics of three-dimensional bodies.


Lutz Bornmann, Werner Marx:
Standards for the application of bibliometrics in the evaluation of individual researchers working in the natural sciences.
Muhammad Nazeer, Nargis Bibi, Yasir Mehmood Malik, Dai-Gyoung Kim:
A Fresnelet-Based Encryption of Medical Images using Arnold Transform.
Guillaume Aupy, Anne Benoit, Rami G. Melhem, Paul Renaud-Goud, Yves Robert:
Energy-aware checkpointing of divisible tasks with soft or hard deadlines.
Joseph Charles Mellor, Jonathan Shapiro:
Thompson Sampling in Switching Environments with Bayesian Online Change Point Detection.
Aaron Potechin:
Improved upper and lower bound techniques for monotone switching networks for directed connectivity.
Alistair Stewart, Kousha Etessami, Mihalis Yannakakis:
Upper bounds for Newton's method on monotone polynomial systems, and P-time model checking of probabilistic one-counter automata.
Guillaume Aupy, Yves Robert, Frédéric Vivien, Dounia Zaidouni:
Checkpointing algorithms and fault prediction.
Marek Cygan, Marcin Pilipczuk:
Faster exponential-time algorithms in graphs of bounded average degree.
(Withdrawn) Capacity of the State-Dependent Half-Duplex Relay Channel Without Source-Destination Link.
Supratim Deb, Pantelis Monogioudis, Jerzy Miernik, James P. Seymour:
Algorithms for Enhanced Inter Cell Interference Coordination (eICIC) in LTE HetNets.


Georges Kaddoum, François Gagnon, Denis Couillard:
An Enhanced Spectral Efficiency Chaos-Based Symbolic Dynamics Transceiver Design.
Alexander V. Evako:
Variable density preserving topology grids and the digital models for the plane.
Neal Patwari, Lara Brewer, Quinn Tate, Ossi Kaltiokallio, Maurizio Bocca:
Breathfinding: A Wireless Network that Monitors and Locates Breathing in a Home.
Andrea E. F. Clementi, Pierluigi Crescenzi, Carola Doerr, Pierre Fraigniaud, Marco Isopi, Alessandro Panconesi, Francesco Pasquale, Riccardo Silvestri:
Rumor Spreading in Random Evolving Graphs.

Philip M. Dames, Vijay Kumar:
Technical Report: Cooperative Multi-Target Localization With Noisy Sensors.
Marton Trencseni, Attila Gazsó:
ScalienDB: Designing and Implementing a Distributed Database using Paxos.
Luís Filipe Teófilo, Pedro Alves Nogueira, Pedro Brandão Silva:
GEMINI: A Generic Multi-Modal Natural Interface Framework for Videogames.
Elias David Niño Ruiz, Adrian Sandu, Jeffrey L. Anderson:
An Efficient Implementation of the Ensemble Kalman Filter Based on an Iterative Sherman-Morrison Formula.
Mohammad M. Karbasioun, Gennady Shaikhet, Evangelos Kranakis, Ioannis Lambadaris:
Power Strip Packing of Malleable Demands in Smart Grid.
Franz Graf, Hans-Peter Kriegel, Michael Weiler:
Robust Image Segmentation in Low Depth Of Field Images.
Janusz A. Brzozowski, Gareth Davies:
Maximal Syntactic Complexity of Regular Languages Implies Maximal Quotient Complexities of Atoms.
Todd Davies, Brendan O'Connor, Alex Cochran, Jonathan J. Effrat, Andrew Parker, Benjamin Newman, Aaron Tam:
An Online Environment for Democratic Deliberation: Motivations, Principles, and Design.
Mohamed S. Ebeida, Anjul Patney, Scott A. Mitchell, Keith R. Dalbey, Andrew A. Davidson, John D. Owens:
k-d Darts: Sampling by k-Dimensional Flat Searches.

Xiaozhao Zhao, Yuexian Hou, Qian Yu, Dawei Song, Wenjie Li:
Understanding Deep Learning by Revisiting Boltzmann Machines: An Information Geometry Approach.
Tsung-Hui Chang, Mahnoosh Alizadeh, Anna Scaglione:
Real-Time Power Balancing via Decentralized Coordinated Home Energy Scheduling.
Lin Chen, Deshi Ye, Guochuan Zhang:
Approximating the optimal competitive ratio for an ancient online scheduling problem.
Raheleh Namayandeh, Farzad Didehvar, Zahra Shojaei:
Clustering validity based on the most similarity.
Hongyong Yang, Lei Guo, Xun-lin Zhu, Ke-cai Cao:
Coordination Control of Heterogeneous Compounded-Order Multi-Agent Systems with Communication Delays.
Charalambos D. Charalambous, Photios Stavrou:
Directed Information on Abstract Spaces: Properties and Variational Equalities.

Jakob L. Andersen, Christoph Flamm, Daniel Merkle, Peter F. Stadler:
Generic Strategies for Chemical Space Exploration.
Haoyu Li, Di Ma, Nitesh Saxena, Babins Shrestha, Yan Zhu:
Tap-Wave-Rub: Lightweight Malware Prevention for Smartphones Using Intuitive Human Gestures.

Pavankumar Tallapragada, Nikhil Chopra:
Decentralized Event-Triggering for Control of Nonlinear Systems.
Hua Sun, Chunhua Geng, Syed Ali Jafar:
Topological Interference Management with Alternating Connectivity.
Jianwei Zhang, Wei Xing, Yongchao Wang, Dongming Lu:
Modeling and Performance Analysis of Pull-Based Live Streaming Schemes in Peer-to-Peer Network.
Belhassen Akrout, Imen Khanfir Kallel, Chokri Ben Amar:
A new scheme of signature extraction for iris authentication.
Tejaswi Agarwal, Mike A. Leonetti:
Design and Implementation of an IP based authentication mechanism for Open Source Proxy Servers in Interception Mode.
Jose A. García, Rosa Rodriguez-Sánchez, J. Fdez-Valdivia, Nicolas Robinson-Garcia, Daniel Torres-Salinas:
Mapping Academic Institutions According to Their Journal Publication Profile: Spanish Universities as a Case Study.
Tomasz Jurdzinski, Dariusz R. Kowalski, Grzegorz Stachowiak:
Distributed Deterministic Broadcasting in Uniform-Power Ad Hoc Wireless Networks.
Vasiliy Usatyuk:
Upper bound on the cardinality containing shortest vectors in a lattice reduced by block Korkin-Zolotarev method.
Jinil Kim, Peter Eades, Rudolf Fleischer, Seok-Hee Hong, Costas S. Iliopoulos, Kunsoo Park, Simon J. Puglisi, Takeshi Tokuyama:
Order Preserving Matching.
Shunqiao Sun, Athina P. Petropulu, Waheed U. Bajwa:
Target Estimation in Colocated MIMO Radar via Matrix Completion.
Lei Wang, Rodrigo C. de Lamare:
Adaptive Set-Membership Reduced-Rank Least Squares Beamforming Algorithms.
Avhishek Chatterjee, Supratim Deb, Kanthi Nagaraj, Vikram Srinivasan:
Low Delay MAC Scheduling for Frequency-agile Multi-radio Wireless Networks.
Eyal En Gad, Robert Mateescu, Filip Blagojevic, Cyril Guyot, Zvonimir Bandic:
Repair-Optimal MDS Array Codes over GF(2).
Yunlong Cai, Rodrigo C. de Lamare:
Adaptive Minimum BER Reduced-Rank Interference Suppression Algorithms Based on Joint and Iterative Optimization of Parameters.
Viet Hung Nguyen, Fabio Massacci:
The (Un)Reliability of NVD Vulnerable Versions Data: an Empirical Experiment on Google Chrome Vulnerabilities.
Kun Cai, David Y. Gao, Qing-Hua Qin:
Post-buckling Solutions of Hyper-elastic Beam by Canonical Dual Finite Element Method.
Moshe Babaioff, Robert Kleinberg, Aleksandrs Slivkins:
Multi-parameter Mechanisms with Implicit Payment Computation.
Vittorio Latorre, David Yang Gao:
Canonical dual solutions to nonconvex radial basis neural network optimization problem.

K. Ashwin Kumar, Amol Deshpande, Samir Khuller:
Data Placement and Replica Selection for Improving Co-location in Distributed Environments.
Nilesh A. Mohota, Sanjay L. Badjate:
Reduction in Packet Delay Through the use of Common Buffer over Distributed Buffer in the Routing Node of NOC Architecture.
Philipp Rümmer, Hossein Hojjat, Viktor Kuncak:
The Relationship between Craig Interpolation and Recursion-Free Horn Clauses.
Walid Belkhir, Yannick Chevalier, Michaël Rusinowitch:
Fresh-Variable Automata for Service Composition.

Karl Bringmann, Benjamin Doerr, Adrian Neumann, Jakub Sliacan:
Online Checkpointing with Improved Worst-Case Guarantees.
Imran Shafique Ansari, Ferkan Yilmaz, Mohamed-Slim Alouini:
Impact of Pointing Errors on the Performance of Mixed RF/FSO Dual-Hop Transmission Systems.
Nallagarla Ramamurthy, S. Varadarajan:
The Robust Digital Image Watermarking using Quantization and Fuzzy Logic Approach in DWT Domain.
Krishnendu Chatterjee, Laurent Doyen, Mickael Randour, Jean-François Raskin:
Looking at Mean-Payoff and Total-Payoff through Windows.
Fanny Yang, Volker Pohl, Holger Boche:
Phase Retrieval via Structured Modulations in Paley-Wiener Spaces.


(Withdrawn) On the Fly Self-Organized Base Station Placement.
Dohy Hong:
Introducing One Step Back Iterative Approach to Solve Linear and Non Linear Fixed Point Problem.

Abhisekh Sankaran, Bharat Adsul, Supratik Chakraborty:
Generalizations of the Los-Tarski Preservation Theorem.
Marc E. Maier, Katerina Marazopoulou, David D. Jensen:
Reasoning about Independence in Probabilistic Models of Relational Data.
Marc Arnela, Oriol Guasch:
Finite element computation of elliptical vocal tract impedances using the two-microphone transfer function method.
Michel Zitt, Jean-Philippe Cointet:
Citation impacts revisited: how novel impact measures reflect interdisciplinarity and structural change at the local and global level.
Nicolò Cesa-Bianchi, Ofer Dekel, Ohad Shamir:
Online Learning with Switching Costs and Other Adaptive Adversaries.
Andrei Asinowski, Tillmann Miltzow, Günter Rote:
Quasi-Parallel Segments and Characterization of Unique Bichromatic Matchings.


Olivier Beaumont, Philippe Duchon, Paul Renaud-Goud:
Approximation Algorithms for Energy Minimization in Cloud Service Allocation under Reliability Constraints.

Yunlong Cai, Rodrigo C. de Lamare:
Adaptive Minimum BER Reduced-Rank Linear Detection for Massive MIMO Systems.
Hooman Jarollahi, Vincent Gripon, Naoya Onizawa, Warren J. Gross:
A Low-Power Content-Addressable-Memory Based on Clustered-Sparse-Networks.
Hooman Jarollahi, Richard F. Hobson:
Dynamic Power Reduction in a Novel CMOS 5T-SRAM for Low-Power SoC.
Shurui Huang, Aditya Ramamoorthy:
On the multiple unicast capacity of 3-source, 3-terminal directed acyclic networks.
Sa Liu, Chengzhi Zhang:
Termhood-based Comparability Metrics of Comparable Corpus in Special Domain.
Avinash Sharma, Anurag Bhatnagar, Nikhar Tak, Anuradha Sharma, Jitendra Avasthi, Prerna sharma:
An Approach Of Substitution Method Based On ASCII Codes In Encryption Technique.
Thuy Van Nguyen, Aria Nosratinia, Dariush Divsalar:
Bilayer Protograph Codes for Half-Duplex Relay Channels.
Nguyen Quang-Hung, Pham Dac Nien, Nguyen Hoai Nam, Nguyen Huynh Tuong, Nam Thoai:
A Genetic Algorithm for Power-Aware Virtual Machine Allocation in Private Cloud.
Deeparnab Chakrabarty, C. Seshadhri:
A o(n) monotonicity tester for Boolean functions over the hypercube.


Rong-Hua Li, Jeffrey Xu Yu, Xin Huang, Hong Cheng:
Random-walk domination in large graphs: problem definitions and fast solutions.
Guillaume Aupy, Yves Robert, Frédéric Vivien, Dounia Zaidouni:
Checkpointing strategies with prediction windows.
Marcel Birn, Vitaly Osipov, Peter Sanders, Christian Schulz, Nodari Sitchinava:
Efficient Parallel and External Matching.
Ed Summers:
Linking Things on the Web: A Pragmatic Examination of Linked Data for Libraries, Archives and Museums.



Hugo Reboredo, Francesco Renna, A. Robert Calderbank, Miguel R. D. Rodrigues:
Compressive Classification.
Chao Tian, Vaneet Aggarwal, Vinay A. Vaishampayan:
Exact-Repair Regenerating Codes Via Layered Erasure Correction and Block Designs.
Walter J. Scheirer, Michael J. Wilber, Michael Eckmann, Terrance E. Boult:
Good Recognition is Non-Metric.
Gregory E. Newstadt, Edmund G. Zelnio, Alfred O. Hero III:
Moving target inference with hierarchical Bayesian models in synthetic aperture radar imagery.
Parisa Alvandi, Changbo Chen, Marc Moreno Maza:
An Algorithm for Computing the Limit Points of the Quasi-component of a Regular Chain.
Le Minh Sang Tran, Bjørnar Solhaug, Ketil Stølen:
An Approach to Select Cost-Effective Risk Countermeasures Exemplified in CORAS.
Nikolaos I. Miridakis, Dimitrios D. Vergados, Emmanouil Papadakis:
A Receiver-Centric OFCDM Approach with Subcarrier Grouping.
Nikolaos I. Miridakis, Dimitrios D. Vergados:
Performance Analysis of the Ordered V-BLAST Approach over Nakagami-m Fading Channels.
Antonio Campello, Cristiano Torezzan, Sueli I. R. Costa:
Curves on Flat Tori and Analog Source-Channel Codes.
Matias Korman, Maarten Löffler, Rodrigo I. Silveira, Darren Strash:
On the Complexity of Barrier Resilience for Fat Regions.
Shaddin Dughmi, Nicole Immorlica, Aaron Roth:
Constrained Signaling for Welfare and Revenue Maximization.
Zhenhua Yu, Robert J. Baxley, Brett T. Walkenhorst, G. Tong Zhou:
Channel Sounding Waveforms Design for Asynchronous Multiuser MIMO Systems.
Maurizio Bocca, Ossi Kaltiokallio, Neal Patwari, Suresh Venkatasubramanian:
Multiple Target Tracking with RF Sensor Networks.
Derrick Wing Kwan Ng, Ernest S. Lo, Robert Schober:
Energy-Efficient Resource Allocation in OFDMA Systems with Hybrid Energy Harvesting Base Station.
Khalil Riad Bouzidi, Bruno Fiés, Marc Bourdeau, Catherine Faron-Zucker, Nhan Le Thanh:
An Ontology for Modelling and Supporting the Process of Authoring Technical Assessments.
Jeongho Jeon, Anthony Ephremides:
Channel-Aware Random Access in the Presence of Channel Estimation Errors.
Lauro Beltrão Costa, Abmar Barros, Samer Al-Kiswany, Emalayan Vairavanathan, Matei Ripeanu:
Predicting Intermediate Storage Performance for Workflow Applications.
Francesco Renna, Nicola Laurenti, Stefano Tomasin, Marco Baldi, Nicola Maturo, Marco Bianchi, Franco Chiaraluce, Matthieu R. Bloch:
Low-power Secret-key Agreement over OFDM.
Chih-Chun Chen:
A theoretical framework for conducting multi-level studies of complex social systems with agent-based models and empirical data.

Barbora Buhnova, Lucia Happe, Jan Kofron:
Proceedings 10th International Workshop on Formal Engineering Approaches to Software Components and Architectures, FESCA 2013, Rome, Italy, March 23, 2013.
Zhe Hou, Alwen Tiu, Rajeev Goré:
A Labelled Sequent Calculus for BBI: Proof Theory and Proof Search.
Yi-zhou Tan, Hai-bo Liu, Shui-hua Huang, Ben-jian Sheng, Zhong-ming Pan:
An Optical Watermarking Solution for Color Personal Identification Pictures.
Marco Maso, Mérouane Debbah, Lorenzo Vangelista:
A Distributed Approach to Interference Alignment in OFDM-based Two-tiered Networks.
Marco Maso, Leonardo S. Cardoso, Mérouane Debbah, Lorenzo Vangelista:
Cognitive Orthogonal Precoder for Two-tiered Networks Deployment.
Mohammad Javad Abdoli, Amir Salman Avestimehr:
Layered Interference Networks with Delayed CSI: DoF Scaling with Distributed Transmitters.
Seunghyun Lee, Rui Zhang, Kaibin Huang:
Opportunistic Wireless Energy Harvesting in Cognitive Radio Networks.

Xiaoming Chen, Lei Lei:
Energy-Efficient Optimization for Physical Layer Security in Multi-Antenna Downlink Networks with QoS Guarantee.
Khalil Riad Bouzidi, Catherine Faron-Zucker, Bruno Fiés, Olivier Corby, Nhan Le Thanh:
Towards a Semantic-based Approach for Modeling Regulatory Documents in Building Industry.
Georges Antoniadis, Sylviane Granger, Olivier Kraif, Claude Ponton, Virginie Zampa:
NLP and CALL: integration is working.
Kui Xu, Zhenxing Lv, Youyun Xu, Dongmei Zhang, Xinyi Zhong, Wenwen Liang:
Joint Physical Network Coding and LDPC decoding for Two Way Wireless Relaying.
(Withdrawn) An algebraic approach to weak and delay bismulation in coalgebra.
Loet Leydesdorff, Martin Meyer:
Technology Transfer and the End of the Bayh-Dole Effect: Patents as an Analytical Lens on University-Industry-Government Relations.
Shaheena Sultana, Md. Saidur Rahman, Arpita Roy, Suraiya Tairin:
Bar 1-Visibility Drawings of 1-Planar Graphs.
Gonçalo Simões, Helena Galhardas, David Martins de Matos:
A Labeled Graph Kernel for Relationship Extraction.
Yue Shi, Martha Larson, Alan Hanjalic:
Generalized Tag-induced Cross-Domain Collaborative Filtering.
Arkaitz Zubiaga, Alberto Pérez García-Plaza, Víctor Fresno, Raquel Martínez-Unanue:
Stacking from Tags: Clustering Bookmarks around a Theme.





Enrique F. Castillo, Remco R. Bouckaert, José María Sarabia, Cristina Solares:
Error Estimation in Approximate Bayesian Belief Network Inference.
Didier Cayrac, Didier Dubois, Henri Prade:
Practical Model-Based Diagnosis with Qualitative Possibilistic Uncertainty.
David Maxwell Chickering:
A Transformational Characterization of Equivalent Bayesian Network Structures.


Eric Driver, Darryl Morrell:
Implementation of Continuous Bayesian Networks Using Sums of Weighted Gaussians.
Marek J. Druzdzel, Linda C. van der Gaag:
Elicitation of Probabilities for Belief Networks: Combining Qualitative and Quantitative Information.
Kazuo J. Ezawa, Til Schuermann:
Fraud/Uncollectible Debt Detection Using a Bayesian Network Based Learning System: A Rare Binary Outcome with Mixed Data Structures.
Hélène Fargier, Jérôme Lang, Roger Martin-Clouaire, Thomas Schiex:
A Constraint Satisfaction Approach to Decision under Uncertainty.

Dan Geiger, David Heckerman:
A Characterization of the Dirichlet Distribution with Application to Learning Bayesian Networks.

Peter Haddawy, AnHai Doan, Richard Goodwin:
Efficient Decision-Theoretic Planning: Techniques and Empirical Analysis.
Steve Hanks, David Madigan, Jonathan Gavrin:
Probabilistic Temporal Reasoning with Endogenous Change.

David Heckerman, Dan Geiger:
Learning Bayesian Networks: A Unification for Discrete and Gaussian Domains.

Eric Horvitz, Adrian C. Klein:
Reasoning, Metareasoning, and Mathematical Truth: Studies of Theorem Proving under Limited Resources.



Keiji Kanazawa, Daphne Koller, Stuart J. Russell:
Stochastic Simulation Algorithms for Dynamic Probabilistic Networks.
Young-Gyun Kim, Marco Valtorta:
On the Detection of Conflicts in Diagnostic Bayesian Networks Using Abstraction.
Alexander V. Kozlov, Jaswinder Pal Singh:
Sensitivities: An Alternative to Conditional Probabilities for Bayesian Belief Networks.
Michael L. Littman, Thomas L. Dean, Leslie Pack Kaelbling:
On the Complexity of Solving Markov Decision Problems.

Liem Ngo, Peter Haddawy, James Helwig:
A Theoretical Framework for Context-Sensitive Temporal Probability Model Construction with Application to Plan Projection.

Judea Pearl, James M. Robins:
Probabilistic Evaluation of Sequential Plans from Causal Models with Hidden Variables.
David L. Poole:
Exploiting the Rule Structure for Decision Making within the Independent Choice Logic.
Gregory M. Provan:
Abstraction in Belief Networks: The Role of Intermediate States in Diagnostic Reasoning.
David V. Pynadath, Michael P. Wellman:
Accounting for Context in Plan Recognition, with Application to Traffic Monitoring.

Peter Spirtes, Christopher Meek, Thomas S. Richardson:
Causal Inference in the Presence of Latent Variables and Selection Bias.
Sampath Srinivas:
A Polynomial Algorithm for Computing the Optimal Repair Strategy in a System with Independent Component Failures.
Sampath Srinivas, Eric Horvitz:
Exploiting System Hierarchy to Compute Repair Plans in Probabilistic Model-based Diagnosis.
Emil Weydert:
Defaults and Infinitesimals: Defeasible Inference by Nonarchimedean Entropy-Maximization.
S. K. Michael Wong, Cory J. Butz, Yang Xiang:
A Method for Implementing a Probabilistic Model as a Relational Database.


Siddhartan Govindasamy:
Asymptotic Data Rates of Receive-Diversity Systems with MMSE Estimation and Spatially Correlated Interferers.
V. Lalitha, N. Prakash, K. Vinodh, P. Vijay Kumar, S. Sandeep Pradhan:
Linear Coding Schemes for the Distributed Computation of Subspaces.
Marco Maso, Leonardo S. Cardoso, Mérouane Debbah, Lorenzo Vangelista:
Cognitive Interference Alignment for OFDM Two-tiered Networks.

Christian Schlegel, Ulrik Pagh Schultz, Serge Stinckwich:
Proceedings of the Third International Workshop on Domain-Specific Languages and Models for Robotic Systems (DSLRob 2012).
Piotr Trojanek:
Model-driven engineering approach to design and implementation of robot control system.
Jeremiah Blocki, Saranga Komanduri, Ariel D. Procaccia, Or Sheffet:
Optimizing Password Composition Policies.
Grégory Landais, Jean-Pierre Tillich:
An efficient attack of a McEliece cryptosystem variant based on convolutional codes.


A. S. Tolba, M. Z. Rashad, M. A. El-Dosuky:
Q#, a quantum computation package for the .NET platform.
Kai-Yang Chiang, Cho-Jui Hsieh, Nagarajan Natarajan, Ambuj Tewari, Inderjit S. Dhillon:
Prediction and Clustering in Signed Networks: A Local to Global Perspective.

Saravanan Kumarasamy, R. Asokan:
An Efficient Detection Mechanism for Distributed Denial of Service (DDoS) Attack.
Hengfeng Wei, Yu Huang, Jiannong Cao, Xiaoxing Ma, Jian Lu:
Verifying PRAM Consistency over Read/Write Traces of Data Replicas.
Thuy Van Nguyen, Aria Nosratinia, Dariush Divsalar:
Rate-Compatible Short-Length Protograph LDPC Codes.
Christian Colombo, Adrian Francalanza, Ruth Mizzi, Gordon J. Pace:
Extensible Technology-Agnostic Runtime Verification. 1-15
Sven Sieverding, Christian Ellen, Peter Battram:
Sequence Diagram Test Case Specification and Virtual Integration Analysis using Timed-Arc Petri Nets. 17-31
Davide Arcelli, Vittorio Cortellessa:
Software model refactoring based on performance analysis: better working on software or performance side? 33-47
Helena Gruhn, Sabine Glesner:
Towards a Formal Framework for Mobile, Service-Oriented Sensor-Actuator Networks. 49-62



Javier Gimenez, Jorge Martinez, Ana Georgina Flesia:
Unsupervised edge map scoring: an statistical complexity approach.
Kyumars Sheykh Esmaili, Lluis Pamies-Juarez, Anwitaman Datta:
The CORE Storage Primitive: Cross-Object Redundancy for Efficient Data Repair & Access in Erasure Coded Storage.
Arunasalam Sambhanthan, Alice Good:
Strategic Advantage in Web Tourism Promotion: An e-Commerce Strategy for Developing Countries.
Arunasalam Sambhanthan, Alice Good:
Critical Success Factors for Positive User Experience in Hotel Websites: Applying Herzberg's Two Factor Theory for User Experience Modeling.
Arunasalam Sambhanthan, Alice Good:
Implications for Improving Accessibility to E-Commerce Websites in Developing Countries: A Subjective Study of Sri Lankan Hotel Websites.
Arunasalam Sambhanthan, Alice Good:
A Virtual World Model to Enhance Tourism Destination Accessibility in Developing Countries.
Alice Good, Clare Wilson, Claire Ancient, Arunasalam Sambhanthan:
A Proposal To Support Wellbeing in People With Borderline Personality Disorder: Applying Reminiscent Theory in a Mobile App.
A. Anandaraj, P. Kalaivani, V. Rameshkumar:
Development Of Ontology-Based Intelligent System For Software Testing.
Adrien Guille, Hakim Hacid, Cécile Favre:
Predicting the Temporal Dynamics of Information Diffusion in Social Networks.
Flavio Ferrarotti, Wei Ren, Jose Maria Turull Torres:
Expressing Properties in Second and Third Order Logic: Hypercube Graphs and SATQBF.
Hyun Jong Yang, Won-Yong Shin, Bang Chul Jung, Arogyaswami Paulraj:
Opportunistic Interference Alignment for MIMO Interfering Multiple-Access Channels.
Nima Asadi, Jimmy J. Lin, Michael Busch:
Dynamic Memory Allocation Policies for Postings in Real-Time Twitter Search.


Ben London, Bert Huang, Lise Getoor:
Graph-based Generalization Bounds for Learning Binary Relations.
Sivaraman Dasarathan, Cihan Tepedelenlioglu, Mahesh K. Banavar, Andreas Spanias:
Non-Linear Distributed Average Consensus using Bounded Transmissions.
Quan Yuan, Zhixin Yang:
An Improved Weight-coded Evolutionary Algorithm for the Multidimensional Knapsack Problem.
Afshin Abdollahi, Mehdi Saeedi, Massoud Pedram:
Reversible Logic Synthesis by Quantum Rotation Gates.
Adithya Rajan, Cihan Tepedelenlioglu:
Stochastic Ordering of Fading Channels Through the Shannon Transform.
(Withdrawn) History of malware.
Giuseppe Di Battista, Marco Chiesa, Gabriele Lospoto, Massimo Rimondini:
Intra-Domain Pathlet Routing.
P. Kalaivani, A. Anandaraj, K. Raja:
An Ontology Construction Approach for the Domain Of Poultry Science Using Protege.
Anupam Gupta, Viswanath Nagarajan, Vijay V. Vazirani:
Thrifty Algorithms for Multistage Robust Optimization.
Juan Andrés Bazerque, Georgios B. Giannakis:
Nonparametric Basis Pursuit via Sparse Kernel-based Learning.
Firas Jassim, Fawzi Altaani:
Statistical Approach for Predicting Factors of Mood Method for Object Oriented.
Elliot Anshelevich, Ameya Hate, Malik Magdon-Ismail:
Seeding Influential Nodes in Non-Submodular Models of Information Diffusion.
Harshad B. Prajapati, Vipul K. Dabhi:
Classification and Characterization of Core Grid Protocols for Global Grid Computing.
Alice Good, Arunasalam Sambhanthan, Vahid Panjganj, Samuel Spettigue:
Computer Interaction and the Benefits of Social Networking for People with Borderline Personality Disorder: Enlightening Mental Health Professionals.
Arunasalam Sambhanthan, Alice Good:
Implications for Improving Accessibility to E-Commerce Websites in Developing Countries - A Study of Hotel Websites.
Alice Good, Arunasalam Sambhanthan, Vahid Panjganj:
Looking back at Facebook content and the positive impact upon wellbeing: Exploring reminiscing as a tool for self soothing.
Alice Good, Paul Gnanayutham, Arunasalam Sambhanthan, Vahid Panjganj:
HCI considerations in Designing a Second Life Virtual Therapeutic Community for the Support & Treatment of People with Borderline Personality Disorder.
Alice Good, Arunasalam Sambhanthan:
A Review into eHealth Services and Therapies: Potential for Virtual Therapeutic Communities - Supporting People with Severe Personality Disorder.
Srimugunthan, K. Gopinath, Giridhar Appaji Nag Yasa:
LFTL: A multi-threaded FTL for a Parallel IO Flash Card under Linux.
Nuril Aini, Leon Andretti Abdillah, Jemakmun:
Perangkat lunak bantu mengenal huruf arab melayu ke bentuk huruf latin bahasa Indonesia.
Wesam Gabran, Przemyslaw Pawelczak, Chun-Hao Liu, Danijela Cabric:
Blind Estimation of Primary User Traffic Parameters Under Sensing Errors.
Lluis Pamies-Juarez, Henk D. L. Hollmann, Frédérique E. Oggier:
Locally Repairable Codes with Multiple Repair Alternatives.
Mikael Moghadam, David Johan Christensen, David Brandt, Ulrik Pagh Schultz:
Towards Python-based Domain-specific Languages for Self-reconfigurable Modular Robotics Research.
Daniel Torres-Salinas, Rosa Rodriguez-Sánchez, Nicolas Robinson-Garcia, J. Fdez-Valdivia, Jose A. García:
Mapping Citation Patterns of Book Chapters in the Book Citation Index.
Michael Fairbank:
The Importance of Clipping in Neurocontrol by Direct Gradient Descent on the Cost-to-Go Function and in Adaptive Dynamic Programming.
Riyadh Baghdadi, Albert Cohen, Serge Guelton, Sven Verdoolaege, Jun Inoue, Tobias Grosser, Georgia Kouveli, Alexey Kravets, Anton Lokhmotov, Cedric Nugteren, Fraser Waters, Alastair F. Donaldson:
PENCIL: Towards a Platform-Neutral Compute Intermediate Language for DSLs.
Andrea E. F. Clementi, Miriam Di Ianni, Giorgio Gambosi, Emanuele Natale, Riccardo Silvestri:
Distributed Community Detection in Dynamic Graphs.
(Withdrawn) Greedy is as Good as Delaunay (Almost).
Pranava K. Jha:
Comments on "Resource placement in Cartesian product of networks" [Imani, Sarbazi-Azad and Zomaya, J. Parallel Distrib. Comput., 70 (2010) 481-495].
Bernat Gaston, Jaume Pujol, Mercè Villanueva:
A realistic distributed storage system: the rack model.
Albert Heinle, Viktor Levandovskyy:
Factorization of Z-homogeneous polynomials in the First (q)-Weyl Algebra.
Natheer K. Gharaibeh, Mohareb A. Alsmadi:
The impact of teaching two courses (electronic curriculum design, multimedia) on the acquisition of electronic content design skills.
Juliana M. N. Silva, Cristina Boeres, Lúcia Maria de A. Drummond, Artur Alves Pessoa:
Memory Aware Load Balance Strategy on a Parallel Branch-and-Bound Application.
Joseph Y. Halpern, Samantha Leung:
Weighted Sets of Probabilities and Minimax Weighted Expected Regret: New Approaches for Representing Uncertainty and Making Decisions.
Reza Khosravi-Farsani:
Capacity Bounds for Wireless Ergodic Fading Broadcast Channels with Partial CSIT.
Thibaut Horel, Stratis Ioannidis, S. Muthukrishnan:
Budget Feasible Mechanisms for Experimental Design.
Xun Gong, Mavis Rodrigues, Negar Kiyavash:
Invisible Flow Watermarks for Channels with Dependent Substitution, Deletion, and Bursty Insertion Errors.
Vivek S. Nittoor, Reiji Suda:
Enumeration Based Search Algorithm For Finding A Regular Bi-partite Graph Of Maximum Attainable Girth For Specified Degree And Number Of Vertices.

Daisuke Kimura, Makoto Tatsuta:
Call-by-Value and Call-by-Name Dual Calculi with Inductive and Coinductive Types.
Ashish Seth, Himanshu Aggarwal, Ashim Raj Singla:
Unified Modeling Language for Describing Business Value Chain Activities.
Dimitry S. Ananichev, Vladimir V. Gusev, Mikhail V. Volkov:
Primitive digraphs with large exponents and slowly synchronizing automata.
Simon J. Gay, Paul Kelly:
Proceedings Fifth Workshop on Programming Language Approaches to Concurrency- and Communication-cEntric Software, PLACES 2012, Tallinn, Estonia, 31 March 2012.
Songjian Lu, Xinghua Lu:
An exact algorithm with the time complexity of $O^*(1.299^m)$ for the weighed mutually exclusive set cover problem.
Brian Duffy, Aritra Dasgupta, Robert Kosara, Simon J. Walton, Min Chen:
Measuring Visual Complexity of Cluster-Based Visualizations.
D. Z. Turner, K. B. Nakshatrala, M. J. Martinez:
A framework for coupling flow and deformation of the porous solid.
Mukul Agarwal, Sanjoy K. Mitter, Anant Sahai:
A universal, operational theory of unicast multi-user communication with fidelity criteria.
Masoud Abbaszadeh, Horacio J. Marquez:
Design of Nonlinear State Observers for One-Sided Lipschitz Systems.
K. V. Rashmi, Nihar B. Shah, Kannan Ramchandran:
A Piggybacking Design Framework for Read-and Download-efficient Distributed Storage Codes.
N. S. Narayanaswamy, G. Ramakrishna:
Characterization of Minimum Cycle Basis in Weighted Partial 2-trees.
Shenshi Chen, Yaqing Chen, Quanhai Yang:
Towards Randomized Testing of $q$-Monomials in Multivariate Polynomials.
Arvind Viswanathan, Garimella Rama Murthy:
Heterogeneous Dynamic Priority Scheduling in time critical applications: Mobile Wireless Sensor Networks.
Cong Ling, Jean-Claude Belfiore:
Achieving the AWGN Channel Capacity With Lattice Gaussian Distribution.

Ossi Kaltiokallio, Maurizio Bocca, Neal Patwari:
A Multi-Scale Spatial Model for RSS-based Device-Free Localization.
Ramchandra S. Mangrulkar, Mohammad Atique:
Performance Evaluation of Delay Tolerant Network in Heterogeneous Highly Dense Mobile Environment.
M. A. Iwen:
Compressed Sensing with Sparse Binary Matrices: Instance Optimal Error Guarantees in Near-Optimal Time.
Milorad Bojic, Alexandre Patou Parvedy, Harry Boyer:
Optimization of thermal comfort in building through envelope design.
Milorad Bojic, Dragan Cvetkovic, Jasmina Skerlic, Danijela Nikolic, Harry Boyer:
Performances of Low Temperature Radiant Heating Systems.
Javad Ghaderi, Sem C. Borst, Phil Whiting:
Queue-Based Random-Access Algorithms: Fluid Limits and Stability Issues.
Peng Li, Rodrigo C. de Lamare:
Multi-Feedback Successive Interference Cancellation for Multiuser MIMO Systems.
Peng Li, Rodrigo C. de Lamare:
Adaptive Decision Feedback Detection with Parallel Interference Cancellation and Constellation Constraints for Multi-Antenna Systems.
Yunlong Cai, Rodrigo C. de Lamare:
Low-Complexity Variable Forgetting Factor Techniques for RLS Algorithms in Interference Rejection Applications.
Ya-Feng Liu, Enbin Song:
Sample Approximation-Based Deflation Approaches for Chance SINR Constrained Joint Power and Admission Control.
Zhengfeng Yang, Min Wu, Wang Lin:
Exact Safety Verification of Interval Hybrid Systems Based on Symbolic-Numeric Computation.
Kun-Yu Wang, Haining Wang, Zhi Ding, Chong-Yung Chi:
Low-Complexity Algorithm for Worst-Case Utility Maximization in Multiuser MISO Downlink.
Xiongbin Rao, Liangzhong Ruan, Vincent K. N. Lau:
Limited Feedback Design for Interference Alignment on MIMO Interference Networks with Heterogeneous Path Loss and Spatial Correlations.
Shahab Kaynama, Meeko Oishi:
A Modified Riccati Transformation for Decentralized Computation of the Viability Kernel Under LTI Dynamics.
Rachid Echahed, Detlef Plump:
Proceedings 7th International Workshop on Computing with Terms and Graphs, TERMGRAPH 2013, Rome, Italy, 23th March 2013.

Srikrishnan Divakaran, Arpit Mithal, Namit Jain:
A Fast Template Based Heuristic For Global Multiple Sequence Alignment.
Robert Ganian, Petr Hlinený, Daniel Král, Jan Obdrzálek, Jarett Schwartz, Jakub Teska:
FO Model Checking of Interval Graphs.
David García, Pavlin Mavrodiev, Frank Schweitzer:
Social Resilience in Online Communities: The Autopsy of Friendster.
Sachin Kadloor, Negar Kiyavash, Parv Venkitasubramaniam:
Mitigating Timing Side Channel in Shared Schedulers.
Monica Anderson, Chris Crawford, Paul Kilgo, Megan Stanforth:
Work in Progress: Enabling robot device discovery through robot device descriptions.
Ankit Singla, Philip Brighten Godfrey, Kevin R. Fall, Gianluca Iannaccone, Sylvia Ratnasamy:
Scalable Routing on Flat Names.
Md. Jawaherul Alam, Gasper Fijavz, Michael Kaufmann, Stephen G. Kobourov, Sergey Pupyrev:
Threshold Coloring and Unit-Cube Contact Representation of Graphs.
Truong Vinh Truong Duy, Taisuke Ozaki:
A decomposition method with minimum communication amount for parallelization of multi-dimensional FFTs.
Mark Bun, Justin Thaler:
Dual Lower Bounds for Approximate Degree and Markov-Bernstein Inequalities.
Ratnadip Adhikari, R. K. Agrawal:
A Homogeneous Ensemble of Artificial Neural Networks for Time Series Forecasting.
A. V. Korobeynikov, I. I. Islamgaliev:
Modification of conceptual clustering algorithm Cobweb for numerical data using fuzzy membership function.
C. Seshadhri, Ali Pinar, Nurcan Durak, Tamara G. Kolda:
The importance of directed triangles with reciprocity: patterns and algorithms.
Hammurabi Mendes, Christine Tasson, Maurice Herlihy:
The Topology of Asynchronous Byzantine Colorless Tasks.
Ryan A. Rossi, David F. Gleich, Assefaw Hadish Gebremedhin, Md. Mostofa Ali Patwary:
A Fast Parallel Maximum Clique Algorithm for Large Sparse Graphs and Temporal Strong Components.
Ratnadip Adhikari:
A Treatise on Stability of Autonomous and Non-autonomous Systems: Theory and Illustrative Practical Applications.
Shams Zawoad, Amit Kumar Dutta, Ragib Hasan:
SecLaaS: Secure Logging-as-a-Service for Cloud Forensics.
Lilian Weng, Jacob Ratkiewicz, Nicola Perra, Bruno Gonçalves, Carlos Castillo, Francesco Bonchi, Rossano Schifanella, Filippo Menczer, Alessandro Flammini:
The Role of Information Diffusion in the Evolution of Social Networks.
Terry Ferrett, Matthew C. Valenti, Don J. Torrieri:
An Iterative Noncoherent Relay Receiver for the Two-way Relay Channel.
Neil Zhenqiang Gong, Wenchang Xu, Dawn Song:
Reciprocity in Social Networks: Measurements, Predictions, and Implications.
Adesesan B. Adeyemo, Adebola A. Oketola, Emmanuel O. Adetula, O. Osibanjo:
Estimating Sectoral Pollution Load in Lagos, Nigeria Using Data Mining Techniques.
Shams Zawoad, Ragib Hasan:
Cloud Forensics: A Meta-Study of Challenges, Approaches, and Open Problems.

Saleena Nabeezath, Vineeth Paleri:
A Note on "A polynomial-time algorithm for global value numbering".

Massimo Bartoletti, Tiziana Cimoli, G. Michele Pinna, Roberto Zunino:
An event-based model for contracts. 13-20
Pierpaolo Degano, Gian Luigi Ferrari, Letterio Galletta, Gianluca Mezzetti:
Typing Context-Dependent Behavioural Variation. 28-33

Patrick Bahr:
Convergence in Infinitary Term Graph Rewriting Systems is Simple (Extended Abstract). 17-28
Manfred Schmidt-Schauß:
Linear Compressed Pattern Matching for Polynomial Rewriting (Extended Abstract). 29-40


Kanagavalli V. R., Raja K.:
A Fuzzy Logic based Method for Efficient Retrieval of Vague and Uncertain Spatial Expressions in Text Exploiting the Granulation of the Spatial Event Queries.
Adrien Richard:
Fixed point theorems for Boolean networks expressed in terms of forbidden subnetworks.
Roohallah Rastaghi:
URDP: General Framework for Direct CCA2 Security from any Lattice-Based PKE Scheme.
Ali Ahmad Alawneh:
Assessing the Dimensions of Relationship Quality in B2C E Banking Services: An Empirical Comparative Study.
Faizan Ahmad, Aaima Najam, Zeeshan Ahmed:
Image-based Face Detection and Recognition: "State of the Art".
Michael Schreiber:
How much do different ways of calculating percentiles influence the derived performance indicators? - A case study.
Kousha Etessami, Alistair Stewart, Mihalis Yannakakis:
Stochastic Context-Free Grammars, Regular Languages, and Newton's Method.







Alberto Gatto:
Bisimulation and p-morphism for branching-time logics with indistinguishability relations.
Chris Yakopcic, Tarek M. Taha, Guru Subramanyam:
Hybrid Crossbar Architecture for a Memristor Based Cache.
Chenxi Hao, Bruno Clerckx:
Imperfect and Unmatched CSIT is Still Useful for the Frequency Correlated MISO Broadcast Channel.
Yin Ding, Ivan W. Selesnick:
Sparse Frequency Analysis with Sparse-Derivative Instantaneous Amplitude and Phase Functions.
Jorge Mañana-Rodríguez:
Entropy-based disciplinarity indicator: role taxonomy of journals in scientific communication systems.
Luis Enrique Cortes-Berrueco, Carlos Gershenson, Christopher R. Stephens:
Self-Organization Promotes the Evolution of Cooperation with Cultural Propagation.
Theodoros Rekatsinas, Amol Deshpande, Ashwin Machanavajjhala:
On Sharing Private Data with Multiple Non-Colluding Adversaries.
(Withdrawn) Geodesic-based Salient Object Detection.
Daniel Cullina, Negar Kiyavash:
An Improvement to Levenshtein's Upper Bound on the Cardinality of Deletion Correcting Codes.
Jianwei Xie, Sennur Ulukus:
Secure Degrees of Freedom of the Gaussian Wiretap Channel with Helpers and No Eavesdropper CSI: Blind Cooperative Jamming.
Aslan Tchamkerten, Venkat Chandar, Giuseppe Caire:
Energy and Sampling Constrained Asynchronous Communication.
Kostas Stefanidis, Evaggelia Pitoura:
Finding the Right Set of Users: Generalized Constraints for Group Recommendations.
Ratnadip Adhikari, R. K. Agrawal:
Combining Multiple Time Series Models Through A Robust Weighted Mechanism.
Lamiaa Fattouh Ibrahim, Manal Hamed Al Harbi:
Using Modified Partitioning Around Medoids Clustering Technique in Mobile Network Planning.
Ratnadip Adhikari, R. K. Agrawal, Laxmi Kant:
PSO based Neural Networks vs. Traditional Statistical Models for Seasonal Time Series Forecasting.
Timothy Hunter, Aude Hofleitner, Jack Reilly, Walid Krichene, Jerome Thai, Anastasios Kouvelas, Pieter Abbeel, Alexandre M. Bayen:
Arriving on time: estimating travel time distributions on large-scale road networks.
Chengwen Xing, Wenzhi Li, Shaodan Ma, Zesong Fei, Jingming Kuang:
A Matrix-Field Weighted Mean-Square-Error Model for MIMO Transceiver Designs.
Tamara G. Kolda, Ali Pinar, Todd D. Plantenga, C. Seshadhri:
A Scalable Generative Graph Model with Community Structure.
John Iacono:
Why some heaps support constant-amortized-time decrease-key operations, and others do not.
Zhiqing Wei, Qixun Zhang, Zhiyong Feng, Wei Li, T. Aaron Gulliver:
On the Construction of Radio Environment Maps for Cognitive Radio Networks.
David P. Wagner:
The Unified Segment Tree and its Application to the Rectangle Intersection Problem.
Yan Huang, Ruoming Jin, Favyen Bastani, Xiaoyang Sean Wang:
Large Scale Real-time Ridesharing with Service Guarantee on Road Networks.
Julien M. Hendrickx, Guodong Shi, Karl Henrik Johansson:
Finite-time consensus using stochastic matrices with positive diagonals.
Stefano Ermon, Carla P. Gomes, Ashish Sabharwal, Bart Selman:
Taming the Curse of Dimensionality: Discrete Integration by Hashing and Optimization.
Naim Bajçinca, Yashar Kouhi, Vladislav Nenchev, Jörg Raisch:
Decentralized set-valued state estimation based on non-deterministic chains.

Karsten Fyhn, Tobias Lindstrøm Jensen, Torben Larsen, Søren Holdt Jensen:
Compressive Sensing for Spread Spectrum Receivers.
Naim Bajçinca:
Decentralized set-valued state estimation and prediction for hybrid systems: A symbolic approach.
Weihua Zhan, HuaHui Chen, Jihong Guan, Guang Jin:
Finding overlapping communities in networks using evolutionary method.
Marcelo Serrano Zanetti, Ingo Scholtes, Claudio Juan Tessone, Frank Schweitzer:
Categorizing Bugs with Social Networks: A Case Study on Four Open Source Software Communities.
Greg Adams, Beth Millar, Eric Neufeld, Tim Philip:
Ending-based Strategies for Part-of-speech Tagging.
Constantin F. Aliferis, Gregory F. Cooper:
An Evaluation of an Algorithm for Inductive Learning of Bayesian Belief Networks Usin.
Russ B. Altman, Cheng Che Chen, William B. Poland, Jaswinder Pal Singh:
Probabilistic Constraint Satisfaction with Non-Gaussian Noise.
Adriano Azevedo-Filho, Ross D. Shachter:
Laplace's Method Approximations for Probabilistic Inference in Belief Networks with Continuous Variables.
Alexander Balke, Judea Pearl:
Counterfactual Probabilities: Computational Methods, Bounds and Applications.









Adnan Darwiche, Moisés Goldszmidt:
Action Networks: A Framework for Reasoning about Actions and Change under Uncertainty.
Adnan Darwiche, Moisés Goldszmidt:
On the Relation between Kappa Calculus and Probabilistic Reasoning.


Denise L. Draper, Steve Hanks, Daniel S. Weld:
A Probabilistic Model of Action for Least-Commitment Planning with Information Gather.
Didier Dubois, Luis Fariñas del Cerro, Andreas Herzig, Henri Prade:
An Ordinal View of Independence with Application to Plausible Reasoning.
Florence Dupin de Saint-Cyr, Jérôme Lang, Thomas Schiex:
Penalty logic and its Link with Dempster-Shafer Theory.



Dan Geiger, Azaria Paz, Judea Pearl:
On Testing Whether an Embedded Bayesian Network Represents a Probability Model.


Petr Hájek, Dagmar Harmancová, Francesc Esteva, Pere Garcia, Lluis Godo:
On Modal Logics for Qualitative Possibility in a Fuzzy Setting.
David Heckerman, Dan Geiger, David Maxwell Chickering:
Learning Bayesian Networks: The Combination of Knowledge and Statistical Data.

Max Henrion, Gregory M. Provan, Brendan Del Favero, Gillian Sanders:
An Experimental Comparison of Numerical and Qualitative Probabilistic Reasoning.
Bernhard Hollunder:
An Alternative Proof Method for Possibilistic Logic and its Application to Terminological Logics.
Marcus J. Huber, Edmund H. Durfee, Michael P. Wellman:
The Automated Mapping of Plans for Plan Recognition.


Uffe Kjærulff:
Reduction of Computational Complexity in Bayesian Networks through Removal of Weak Dependencies.


Stephane Lapointe, René Proulx:
Fuzzy Geometric Relations to Represent Hierarchical Spatial Information.
Paul E. Lehner, Christopher Elsaesser, Scott A. Musman:
Constructing Belief Networks to Evaluate Plans.






Malcolm Pradhan, Gregory M. Provan, Blackford Middleton, Max Henrion:
Knowledge Engineering for Large Belief Networks.
Runping Qi, Nevin Lianwen Zhang, David L. Poole:
Solving Asymmetric Decision Problems with Influence Diagrams.
Eugene Santos Jr., Solomon Eyal Shimony:
Belief Updating by Enumerating High-Probability Independence-Based Assignments.
Ross D. Shachter, Stig K. Andersen, Peter Szolovits:
Global Conditioning for Probabilistic Inference in Belief Networks.


Milan Studený:
Semigraphoids Are Two-Antecedental Approximations of Stochastic Conditional Independence Models.

Michael P. Wellman, Chao-Lin Liu:
State-space Abstraction for Anytime Evaluation of Probabilistic Networks.




Jakub Gajarský, Petr Hlinený, Jan Obdrzálek, Sebastian Ordyniak, Felix Reidl, Peter Rossmanith, Fernando Sánchez Villaamil, Somnath Sikdar:
Kernelization Using Structural Parameters on Sparse Graph Classes.
Leonardo S. Cardoso, Mari Kobayashi, Francisco Rodrigo P. Cavalcanti, Mérouane Debbah:
Vandermonde-subspace Frequency Division Multiplexing for Two-Tiered Cognitive Radio Networks.
Ya. V. Bazaikin, V. A. Baikov, I. A. Taimanov, A. A. Yakovlev:
Numerical analysis of topological characteristics of three-dimensional geological models of oil and gas fields.
Manuel Schmitt, Rolf Wanka:
Exploiting Independent Subformulas: A Faster Approximation Scheme for #k-SAT.


David J. Galas, Nikita A. Sakhanenko, Alexander Skupin, Tomasz M. Ignac:
Describing the complexity of systems: Multi-variable "set complexity" and hypergraphs.
Federico Clazzer, Christian Kissling:
Optimum Header Positioning in Successive Interference Cancellation (SIC) based Aloha.
Oren Anava, Elad Hazan, Shie Mannor:
Online Learning for Loss Functions with Memory and Applications to Statistical Arbitrage.
Karthikeyan Natesan Ramamurthy, Jayaraman J. Thiagarajan, Prasanna Sattigeri, Andreas Spanias:
Ensemble Sparse Models for Image Analysis.
Luis Barguñó, Carles Creus, Guillem Godoy, Florent Jacquemard, Camille Vacher:
Decidable Classes of Tree Automata Mixing Local and Global Constraints Modulo Flat Theories.
Giacomo Indiveri, Bernabé Linares-Barranco, Robert A. Legenstein, George Deligeorgis, Themistoklis Prodromakis:
Integration of nanoscale memristor synapses in neuromorphic computing architectures.

De-Nian Yang, Hui-Ju Hung, Wang-Chien Lee, Wei Chen:
Maximizing Acceptance Probability for Active Friending in On-Line Social Networks.
Alexandre Fréchette, F. Bruce Shepherd, Marina Thottan, Peter J. Winzer:
Shortest Path versus Multi-Hub Routing in Networks with Uncertain Demand.


Wesam Elshamy, Hassan M. Rashad, Ahmed Bahgat:
Polyploidy and Discontinuous Heredity Effect on Evolutionary Multi-Objective Optimization.
Wesam Elshamy, Doina Caragea, William H. Hsu:
KSU KDD: Word Sense Induction by Clustering in Topic Space.

Hassan M. Emara, Wesam Elshamy, Ahmed Bahgat:
Parameter Identification of Induction Motor Using Modified Particle Swarm Optimization Algorithm.
R. Santhi, B. Priya, J. M. Nandhini:
Review of intelligent tutoring systems using bayesian approach.
Aparna Das, Markus Geyer, Michael Kaufmann, Stephen G. Kobourov, Sankar Veeramoni:
Maximum Differential Coloring of Caterpillars and Spiders.







Sergio Callegari, Federico Bizzarri:
Should ΔΣ Modulators Used in AC Motor Drives be Adapted to the Mechanical Load of the Motor?
Dong Yi, Zhen Lei, Yang Hu, Stan Z. Li:
Fast Matching by 2 Lines of Code for Large Scale Face Recognition Systems.
Marcelo Serrano Zanetti, Ingo Scholtes, Claudio Juan Tessone, Frank Schweitzer:
The Rise and Fall of a Central Contributor: Dynamics of Social Organization and Performance in the Gentoo Community.
Eike Hermann Müller, Xu Guo, Robert Scheichl, Sinan Shi:
Matrix-free GPU implementation of a preconditioned conjugate gradient solver for anisotropic elliptic PDEs.
Hongbo Li:
Normalization of Polynomials in Algebraic Invariants of Three-Dimensional Orthogonal Geometry.
Tian Zhang, Wei Chen, Zhu Han, Zhigang Cao:
Coalitional Game Theoretic Approach for Cooperative Transmission in Vehicular Networks.
Min Zheng, Mingshen Sun, John C. S. Lui:
DroidAnalytics: A Signature Based Analytic System to Collect, Extract, Analyze and Associate Android Malware.
Sofie De Clercq, Steven Schockaert, Martine De Cock, Ann Nowé:
Modeling Stable Matching Problems with Answer Set Programming.
Lucila M. S. Bento, Davidson R. Boccardo, Raphael C. S. Machado, Vinícius Gusmão Pereira de Sá, Jayme Luiz Szwarcfiter:
Towards a provably robust graph-based watermarking scheme.
Claudio Gentile, Mark Herbster, Stephen Pasteris:
Online Similarity Prediction of Networked Data from Known and Unknown Graphs.
Bruno Clerckx, Heunchul Lee, Young-Jun Hong, Gil Kim:
A Practical Cooperative Multicell MIMO-OFDMA Network Based on Rank Coordination.
Glencora Borradaile, Philip N. Klein, Claire Mathieu:
A polynomial-time approximation scheme for Euclidean Steiner forest.
(Withdrawn) A measure for the impact of research.
Gregory Kucherov, Kamil Salikhov:
Using cascading Bloom filters to improve the memory usage for de Brujin graphs.
Emad M. Grais, Hakan Erdogan:
Source Separation using Regularized NMF with MMSE Estimates under GMM Priors with Online Learning for The Uncertainties.
Feng Yan, Anais Vergne, Philippe Martins, Laurent Decreusefond:
Homology-based Distributed Coverage Hole Detection in Wireless Sensor Networks.
Kevin S. Galloway, Koushil Sreenath, Aaron D. Ames, Jessy W. Grizzle:
Torque Saturation in Bipedal Robotic Walking through Control Lyapunov Function Based Quadratic Programs.
Eugene Perevalov, David Grace:
Towards the full information chain theory: solution methods for optimal information acquisition problem.
Zai Yang, Cishen Zhang, Lihua Xie:
Robust Compressive Phase Retrieval via L1 Minimization With Application to Image Reconstruction.
Barnabás Póczos, Alessandro Rinaldo, Aarti Singh, Larry A. Wasserman:
Distribution-Free Distribution Regression.
Jonathan Ward, Peter Grindrod:
Aperiodic dynamics in a deterministic model of attitude formation in social groups.
Fernando Peruani, Lionel Tabourier:
Directedness of information flow in mobile phone communication networks.
Marco Fuhrman, Ying Hu, Gianmario Tessitore:
Stochastic maximum principle for optimal control of SPDEs.

Jakob Ablinger, Johannes Blümlein, Carsten Schneider:
Analytic and Algorithmic Aspects of Generalized Harmonic Sums and Polylogarithms.
Bob Coecke, Edward Grefenstette, Mehrnoosh Sadrzadeh:
Lambek vs. Lambek: Functorial Vector Space Semantics and String Diagrams for Lambek Calculus.
Mark M. Wilde, Olivier Landon-Cardinal, Patrick M. Hayden:
Towards efficient decoding of classical-quantum polar codes.



Makan Fardad, Fu Lin, Mihailo R. Jovanovic:
Design of optimal sparse interconnection graphs for synchronization of oscillator networks.
Fu Lin, Makan Fardad, Mihailo R. Jovanovic:
Algorithms for leader selection in stochastically forced consensus networks.
Xue-Wen Wang, Li-Jie Zhang, Guo-Hong Yang, Xin-Jian Xu:
Modeling competition between vigorousness and dormancy in citation networks.
Sergio Callegari, Gianluca Setti, Peter J. Langlois:
A CMOS Tailed Tent Map for the Generation of Uniformly Distributed Chaotic Sequences.
Alessio Cardillo, Giovanni Petri, Vincenzo Nicosia, Roberta Sinatra, Jesús Gómez-Gardeñes, Vito Latora:
Evolutionary dynamics of time-resolved social interactions.
Anmer Daskin, Ananth Grama, Sabre Kais:
A Universal Quantum Circuit Scheme For Finding Complex Eigenvalues of Non-unitary Matrices.





Markus Grassl, Martin Roetteler:
Leveraging Automorphisms of Quantum Codes for Fault-Tolerant Quantum Computation.
Iasson Karafyllis, Miroslav Krstic:
On the Relation of Delay Equations to First-Order Hyperbolic Partial Differential Equations.
Zaid J. Towfic, Jianshu Chen, Ali H. Sayed:
Excess-Risk Analysis of Distributed Stochastic Learners.
Julian J. Rimoli, Juan J. Rojas:
Meshing strategies for the alleviation of mesh-induced effects in cohesive element models.
Álvaro Pelayo, Vladimir Voevodsky, Michael A. Warren:
A preliminary univalent formalization of the p-adic numbers.
Raj Rao Nadakuditi:
When are the most informative components for inference also the principal components?
Andris Ambainis, Janis Iraids, Juris Smotrovs:
Exact quantum query complexity of EXACT and THRESHOLD.
Tomoaki Okayama:
Error Estimates with Explicit Constants for Sinc Quadrature and Sinc Indefinite Integration over Infinite Intervals.

Sébastien Bubeck, Vianney Perchet, Philippe Rigollet:
Bounded regret in stochastic multi-armed bandits.
Naoki Chigira, Masaaki Harada, Masaaki Kitazume:
On the Classification of Extremal Doubly Even Self-Dual Codes with 2-Transitive Automorphism Group.
Fernando González, Lluís A. Belanche Muñoz:
Feature Selection for Microarray Gene Expression Data using Simulated Annealing guided by the Multivariate Joint Entropy.
Alexey A. Kovalev, Ilya Dumer, Leonid P. Pryadko:
Linked-Cluster Technique for Finding the Distance of a Quantum LDPC Code.
Martin Peternell, Lukas Gotthart, J. Rafael Sendra, Juana Sendra:
The Relation Between Offset and Conchoid Constructions.
Jesse L. Silverberg, Matthew Bierbaum, James P. Sethna, Itai Cohen:
Collective Motion of Moshers at Heavy Metal Concerts.
Minh Dang Doan, Pontus Giselsson, Tamás Keviczky, Bart De Schutter, Anders Rantzer:
A distributed accelerated gradient algorithm for distributed model predictive control of a hydro power valley.
Zdenek Dvorak, Daniel Král, Robin Thomas:
Three-coloring triangle-free graphs on surfaces II. 4-critical graphs in a disk.
Omid Kavehei, Hosung Chun, Damith Chinthana Ranasinghe, Stan Skafidas:
mrPUF: A Memristive Device based Physical Unclonable Function.
Sinuk Kang:
A sampling theorem on shift-invariant spaces associated with the fractional Fourier transform domain.


Markus Lohrey, Benjamin Steinberg, Georg Zetzsche:
Rational Subsets and Submonoids of Wreath Products.
Pavlin Mavrodiev, Claudio J. Tessone, Frank Schweitzer:
Quantifying the effects of social influence.
F. Molnár Jr., Sameet Sreenivasan, Boleslaw K. Szymanski, Gyorgy Korniss:
Minimum Dominating Sets in Scale-Free Network Ensembles.
Lauri Kovanen, Kimmo Kaski, János Kertész, Jari Saramäki:
Temporal motifs reveal homophily, gender-specific patterns and group talk in mobile communication networks.
Olivier Catoni, Thomas Mainguy:
Toric grammars: a new statistical approach to natural language modeling.
Eugenij Moiseevich Mirkes, Andrei Yu. Zinovyev, Alexander N. Gorban:
Geometrical complexity of data approximators.

Mohammadreza Jooyandeh, Brendan D. McKay, Patric R. J. Östergård, Ville Pettersson, Carol T. Zamfirescu:
Planar Hypohamiltonian Graphs on 40 Vertices.
J. A. Miszczak, M. Wahl:
RandFile package for Mathematica for accessing file-based sources of randomness.
Michael Golosovsky, Sorin Solomon:
The transition towards immortality: non-linear autocatalytic growth of citations to scientific papers.
Claudio Chamon, Eduardo R. Mucciolo:
Renyi entropies as a measure of the complexity of counting problems.
Andrea Baronchelli, Nick Chater, Romualdo Pastor-Satorras, Morten H. Christiansen:
The Biological Origin of Linguistic Diversity.
Ryul Kim, Okhyon Song, Hyon-Chol Ri:
Some Properties of Generalized Self-reciprocal Polynomials over Finite Fields.
Laszlo Gyongyosi, Sándor Imre:
Concatenated Capacity-Achieving Polar Codes for Optical Quantum Channels.
Laszlo Gyongyosi:
Local Operations can Generate Quantum Entanglement: The Correlation Conversion Property of Quantum Channels.
Alessandro Chessa, Andrea Morescalchi, Fabio Pammolli, Orion Penner, Alexander M. Petersen, Massimo Riccaboni:
Is Europe Evolving Toward an Integrated Research Area?
Chol-Rim Min, Won-Hak Ri, Hyong-Chol O:
Equiaffine Structure and Conjugate Ricci-symmetry of a Statistical Manifold.
John C. Duchi, Michael I. Jordan, Martin J. Wainwright:
Local Privacy and Statistical Minimax Rates.
Olivier Bichler, Weisheng Zhao, Fabien Alibart, Stéphane Pleutin, Stéphane Lenfant, Dominique Vuillaume, Christian Gamrat:
Pavlov's dog associative learning demonstrated on synaptic-like organic transistors.
Lewis Mitchell, Kameron Decker Harris, Morgan R. Frank, Peter Sheridan Dodds, Christopher M. Danforth:
The Geography of Happiness: Connecting Twitter sentiment and expression, demographics, and objective characteristics of place.
Azadeh Khaleghi, Daniil Ryabko:
A consistent clustering-based approach to estimating the number of change-points in highly dependent time-series.
Charalambos D. Charalambous, Nasir Uddin Ahmed:
Centralized Versus Decentralized Team Games of Distributed Stochastic Differential Decision Systems with Noiseless Information Structures-Part II: Applications.
Xin Yuan, Jianbo Yang, Patrick Llull, Xuejun Liao, Guillermo Sapiro, David J. Brady, Lawrence Carin:
Adaptive Temporal Compressive Sensing for Video.
Charalambos D. Charalambous, Nasir Uddin Ahmed:
Centralized Versus Decentralized Team Games of Distributed Stochastic Differential Decision Systems with Noiseless Information Structures-Part I: General Theory.
J. Michael Dunn, Lawrence S. Moss, Zhenghan Wang:
The Third Life of Quantum Logic: Quantum Logic Inspired by Quantum Computing.


Stephen G. Hartke, Derrick Stolee:
A Branch-and-Cut Strategy for the Manickam-Miklos-Singhi Conjecture.
George H. Chen, Stanislav Nikolov, Devavrat Shah:
A Latent Source Model for Online Time Series Classification.
Jason F. Hammond, Elizabeth J. Stewart, John G. Younger, Michael J. Solomon, David M. Bortz:
Spatially Heterogeneous Biofilm Simulations using an Immersed Boundary Method with Lagrangian Nodes Defined by Bacterial Locations.



Majid Zamani, Peyman Mohajerin Esfahani, Rupak Majumdar, Alessandro Abate, John Lygeros:
Symbolic control of stochastic systems via approximately bisimilar finite abstractions.
Eduardo G. Altmann, Zakary L. Whichard, Adilson E. Motter:
Identifying trends in word frequency dynamics.
Ryosuke Nishi, Naoki Masuda:
A collective opinion formation model under Bayesian updating and confirmation bias.


Abdou M. Abdel-Rehim, Andreas Stathopoulos, Kostas Orginos:
Extending the eigCG algorithm to nonsymmetric Lanczos for linear systems with multiple right-hand sides.
Matheus P. Viana, Diego R. Amancio, Luciano da Fontoura Costa:
On time-varying collaboration networks.
Diego R. Amancio, Osvaldo N. Oliveira Jr., Luciano da Fontoura Costa:
Three-feature model to reproduce the topology of citation networks and the effects from authors' visibility on their h-index.
Diego R. Amancio, Osvaldo N. Oliveira Jr., Luciano da F. Costa:
Identification of Literary Movements Using Complex Networks to Represent Texts.
Diego R. Amancio, Osvaldo N. Oliveira Jr., Luciano da Fontoura Costa:
Using Complex Networks to Quantify Consistency in the Use of Words.
Ching-Yi Lai, Todd A. Brun, Mark M. Wilde:
Duality in Entanglement-Assisted Quantum Error Correction.
Andrew Gordon Wilson, Ryan Prescott Adams:
Gaussian Process Covariance Kernels for Pattern Discovery and Extrapolation.
Greg Kuperberg, Shachar Lovett, Ron Peled:
Probabilistic existence of regular combinatorial structures.


Ian J. Goodfellow, David Warde-Farley, Mehdi Mirza, Aaron C. Courville, Yoshua Bengio:
Maxout Networks.
O. Martinez-Rubi, V. K. Veligatla, A. G. de Bruyn, P. Lampropoulos, André R. Offringa, V. Jelic, Sarod Yatawatta, L. V. E. Koopmans, Saleem Zaroubi:
LEDDB: LOFAR Epoch of Reionization Diagnostic Database.
Diego R. Amancio, Osvaldo N. Oliveira Jr., Luciano da Fontoura Costa:
Unveiling the relationship between complex networks metrics and word senses.
Thiago C. Silva, Diego R. Amancio:
Word sense disambiguation via high order of learning in complex networks.
Diego R. Amancio, Sandra M. Aluísio, Osvaldo N. Oliveira Jr., Luciano da Fontoura Costa:
Complex networks analysis of language complexity.
Diego R. Amancio, Osvaldo N. Oliveira Jr., Luciano da Fontoura Costa:
On the use of topological features and hierarchical characterization for disambiguating names in collaborative networks.
Kirana Kumara P.:
Extracting Three Dimensional Surface Model of Human Kidney from the Visible Human Data Set using Free Software.
Olivier Coulaud, Patrice Bordat, Pierre Fayon, Vincent Lebris, Isabelle Baraille, Ross Brown:
Extensions of the siesta dft code for simulation of molecules.

Yongcan Cao, Wei Ren:
Finite-time Consensus for Multi-agent Networks with Unknown Inherent Nonlinear Dynamics.
Paulo Urriza, Eric Rebeiz, Danijela Cabric:
Optimal Discriminant Functions Based On Sampled Distribution Distance for Modulation Classification.
Mohammad Shahzad, Félix Mora-Camino, Jules Ghislain Slama, Karim Achaibou:
Trajectory generation and display for free flight.
Alina Sîrbu, Vittorio Loreto, Vito Domenico Pietro Servedio, Francesca Tria:
Cohesion, consensus and extreme information in opinion dynamics.
Aleksandr Y. Aravkin, Rajiv Mittal, Hassan Mansour, Ben Recht, Felix J. Herrmann:
An SVD-free Pareto curve approach to rank minimization.
David K. Duvenaud, James Robert Lloyd, Roger B. Grosse, Joshua B. Tenenbaum, Zoubin Ghahramani:
Structure Discovery in Nonparametric Regression through Compositional Kernel Search.
Zdenek Dvorak, Ken-ichi Kawarabayashi, Robin Thomas:
Three-coloring triangle-free planar graphs in linear time.
Stéphane Gaubert, Zheng Qu:
Dobrushin ergodicity coefficient for Markov operators on cones, and beyond.
Naresh Sharma, Naqueeb Ahmad Warsi:
Fundamental bound on the reliability of quantum information transmission.
Gérard Henry Edmond Duchamp, Vincel Hoang Ngoc Minh, Christophe Tollu, Bùi Chiên, Nguyen Hoang Nghia:
Combinatorics of $φ$-deformed stuffle Hopf algebras.

Rainer Reisenauer, Kenny Smith, Richard A. Blythe:
Statistical mechanics of lexicon learning in an uncertain and nonuniform world.
Patrick Héas, Frédéric Lavancier, Souleymane Kadri Harouna:
Self-similar prior and wavelet bases for hidden incompressible turbulent motion.
Tobias Glasmachers, Ürün Dogan:
Accelerated Linear SVM Training with Adaptive Variable Selection Frequencies.

Tanmoy Chakraborty, Sriram Srinivasan, Niloy Ganguly, Sanjukta Bhowmick, Animesh Mukherjee:
Constant Communities in Complex Networks.
Liang Wang, Ke Hu, Yi Tang:
Robustness of Link-prediction Algorithm Based on Similarity and Application to Biological Networks.
Rodolfo Baggio:
Studying complex tourism systems: a novel approach based on networks derived from a time series.
Xiao-Long Peng, Xin-Jian Xu, Xinchu Fu, Tao Zhou:
Vaccination intervention on epidemic dynamics in networks.
Shantanav Chakraborty, Satyabrata Adhikari:
Non-classical Correlations in the Quantum Search Algorithm.
Matthieu Fradelizi, Arnaud Marsiglietti:
On the analogue of the concavity of entropy power in the Brunn-Minkowski theory.
Paul Escande, Pierre Weiss, François Malgouyres:
Image restoration using sparse approximations of spatially varying blur operators in the wavelet domain.
Robert Azencott, Arjun Beri, Yutheeka Gadhyan, Nicolas Joseph, Charles-Albert Lehalle, Matthew Rowley:
Realtime market microstructure analysis: online Transaction Cost Analysis.
Mohammed El Anbari, Abdallah Mkhadri:
The adaptive Gril estimator with a diverging number of parameters.
Jing Lei, Alessandro Rinaldo, Larry A. Wasserman:
A Conformal Prediction Approach to Explore Functional Data.

Heather A. Harrington, Mariano Beguerisse-Díaz, M. Puck Rombach, Laura M. Keating, Mason A. Porter:
Teach Network Science to Teenagers.
Qian Zhang, Nicola Perra, Bruno Gonçalves, Fabio Ciulla, Alessandro Vespignani:
Characterizing scientific production and consumption in Physics.
Michael Schreiber:
A Case Study of the Arbitrariness of the h-Index and the Highly-Cited-Publications Indicator.
Venkatesan Guruswami, Chaoping Xing:
Optimal rate algebraic list decoding using narrow ray class fields.


Victor Bapst, Guilhem Semerjian, Francesco Zamponi:
The effect of quantum fluctuations on the coloring of random graphs.
Jacob G. Foster, Andrey Rzhetsky, James A. Evans:
Tradition and Innovation in Scientists' Research Strategies.
Evangelos E. Papalexakis, Tom M. Mitchell, Nicholas D. Sidiropoulos, Christos Faloutsos, Partha Pratim Talukdar, Brian Murphy:
Scoup-SMT: Scalable Coupled Sparse Matrix-Tensor Factorization.

Hado van Hasselt:
Estimating the Maximum Expected Value: An Analysis of (Nested) Cross Validation and the Maximum Sample Average.

Andrew M. Childs, Stacey Jeffery, Robin Kothari, Frédéric Magniez:
A Time-Efficient Quantum Walk for 3-Distinctness Using Nested Updates.


Tina Kapur, Jan Egger, Antonio Damato, Ehud J. Schmidt, Akila N. Viswanathan:
3T MR-Guided Brachytherapy for Gynecologic Malignancies.



Google
Google Scholar
MS Academic
CiteSeerX
CORE
Semantic Scholar
